theorem :: QUATERN3:76

<j> " = - <j>