theorem :: QUATERN3:77
<k> " = - <k>