theorem :: QUATERN3:79

0q ^2 = 0