theorem :: QUATERN3:87
(- 1q) ^2 = 1