theorem Th52: :: UNIROOTS:52

for d being non zero Element of NAT
for z being Element of F_Complex st z is Integer holds
eval ((cyclotomic_poly d),z) is Integer