  The original KS proof operates on a three-dimensional complex Hilbert space H3. It requires two things: (1) sets of triples of rays which are orthogonal in H3; (2) a constraint to the effect that of every orthogonal triple one ray gets assigned the number 1, the two others 0.  Both can be achieved as follows: 