Solution
= Solution
The <conjugate transpose> also reverses factor order. If $U$ and $V$ are <unitary matrices>,
$$
(UV)^\dagger(UV)=V^\dagger U^\dagger UV=V^\dagger IV=I.
$$
Thus their product is <unitary>. This is closure under multiplication in the <unitary group>.