theorem Th32: :: UNIROOTS:32
for n being non zero Element of NAT holds n -roots_of_1 c= the carrier of (MultGroup F_Complex)