Subsection II.3.2.4

Unitary matrices