theorem :: COMPLEX1:31

<i> *' = - <i> by Th7;