theorem Th27: :: COMPLEX1:27

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