theorem Th22: :: UNIROOTS:22

for n being non zero Element of NAT holds 1_ F_Complex in n -roots_of_1