theorem :: QUATERN3:84

<i> ^3 = - <i>