theorem :: COMPLEX1:18

<i> * <i> = - 1r ;