theorem :: QUATERNI:13

<i> * <i> = - 1