theorem :: QUATERN2:47

(1. R_Quaternion) " = 1. R_Quaternion