Let $A, B \in \mathrm{M}_{m \times n}$. Matrix analysts say that $A$ and $B$ are unitarily equivalent if there is a unitary $U \in M_m$ and a unitary $V \in M_n$ such that $A=U B V$. This relation arose in Theorem 15.3.13. Show that unitary equivalence is an equivalence relation.