theorem Th36: :: COMPLEX1:36

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