theorem :: QUATERN3:77

<k> " = - <k>