theorem Th33: :: COMPLEX1:33

for z being Complex holds (- z) *' = - (z *')