theorem :: QUATERNI:51

<i> *' = - <i> by Th23, Lm24;