theorem :: QUATERN3:83

1q ^3 = 1