theorem :: XCMPLX_1:222

for a being Complex holds (- a) " = - (a ") by Lm19;