theorem :: QUATERNI:18

<k> * <i> = <j>