theorem :: QUATERNI:17

<j> * <k> = <i>