theorem :: QUATERN3:80
1q ^2 = 1