theorem :: QUATERN3:88
(- 1q) ^3 = - 1