theorem :: COMPLEX1:39

for z being Complex st Re z = 0 holds
z *' = - z