theorem Th47: :: UNIROOTS:47

for n being non zero Element of NAT
for i being Element of F_Complex st i is Integer holds
eval ((unital_poly (F_Complex,n)),i) is Integer