theorem Th4: :: COMPLEX1:4

( Re 0 = 0 & Im 0 = 0 )