theorem :: QUATERN3:75

<i> " = - <i>