theorem :: QUATERN3:85
<j> ^3 = - <j>