theorem Th38: :: COMPLEX1:38

for z being Complex st Im z = 0 holds
z *' = z by Th27;