theorem Th30: :: UNIROOTS:30

for n being non zero Element of NAT
for x being Element of (MultGroup F_Complex) st x in n -roots_of_1 holds
not x is being_of_order_0