theorem Th17: :: COMPLEX1:17

for z being Complex holds
( Re (- z) = - (Re z) & Im (- z) = - (Im z) )