theorem :: COMPLEX1:29

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