Equivalence of Definitions of Orthogonal Matrix