theorem :: QUATERN3:80

1q ^2 = 1