Directly multiplying the columns' scalar products gives , and direct evaluation gives . Thus the operation is a proper rotation. Its trace is zero. A three-dimensional proper rotation has eigenvalues , hence . Therefore
This determines the usual unsigned angle in without changing coordinates. The axis can be checked, if desired, from . The determinant test must precede the trace formula: an improper rotation instead has trace .