Proof that unitary operator is inner product preserving.

Printable View