theorem :: QUATERN3:86

<k> ^3 = - <k>