 Third, it must also need to be shown that the above expression for formula_23 is a rotation matrix.It is the product of three matrices which all are orthogonal which means that formula_90, too, is orthogonal or formula_91.To be a proper rotation matrix it must also satisfy formula_92.