theorem :: QUATERNI:21

<k> * <i> = - (<i> * <k>)