theorem :: QUATERN3:87

(- 1q) ^2 = 1