Paragraph
Prove that the product of two unitary matrices in \(\Cmm\) is unitary.
in-context