A MATRIX-BASED PROOF OF THE QUATERNION REPRESENTATION THEOREM FOR FOUR-DIMENSIONAL ROTATIONS