theorem :: COMPLEX1:21

<i> " = - <i> ;