  I review the two theorems referred to in the title, and then suggest that it
would be interesting to know how much of Hilbert space one can use without
forcing the proof of these theorems. It would also be interesting to know what
parts of Hilbert space that are essential for the proofs. I go on to discuss
cubes, graphs, and pentagrams.
