Description: The function S , that maps a closed subspace to the square of the
norm of its projection onto a unit vector, is a Jauch-Piron state.
Remark in Mayet p. 370. (See strlem3a for the proof that S is
a state.) (Contributed by NM, 8-Apr-2001)(New usage is discouraged.)