theorem :: QUATERN3:88

(- 1q) ^3 = - 1