theorem Th28: :: UNIROOTS:28

for n, ni being non zero Element of NAT st ni divides n holds
ni -roots_of_1 c= n -roots_of_1