theorem :: QUATERN2:43

(1. R_Quaternion) *' = 1. R_Quaternion