theorem :: QUATERNI:52

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