Product of Orthogonal Matrices

Theorem: Product of Orthogonal Matrices

The matrix product of two orthogonal matrices is also an orthogonal matrix.

PROOF

$$(AB{)}^{\mathsf{T}}(AB)=B^{\mathsf{T}}{A}^{\mathsf{T}}AB=B^{\mathsf{T}}B=I_n$$