theorem :: QUATERN3:85

<j> ^3 = - <j>