Eugene Wigner showed that a symmetry operation S of a Hamiltonian is represented, in quantum mechanics either by a unitary operator, S = U, or an antiunitary one, S = UK where U is unitary, and K denotes complex conjugation. These are the only operations that act on Hilbert space so as to preserve the length of the projection of any one state-vector onto another state-vector.