theorem Th93: :: SEQ_4:94

for n being Nat
for z being Element of COMPLEX n st |.z.| = 0 holds
z = 0c n