theorem Th48: :: COMPLFLD:48

for z being Element of F_Complex st z *' = 0. F_Complex holds
z = 0. F_Complex