Solution (source code)

= Solution

Use the order-reversal rule for the <transpose> of a product:
$$
(AB)^T(AB)=B^TA^TAB=B^TIB=B^TB=I.
$$
Therefore \b[the product of two <orthogonal> <matrices> is <orthogonal>]. The argument does not require $A$ and $B$ to commute.