theorem :: QUATERN3:82

0q ^3 = 0