theorem :: QUATERNI:53

<k> *' = - <k> by Th24, Lm24;