properties of unitary matrices