theorem Th20: :: LIOUVIL2:19

for f being INT -valued Polynomial of F_Complex holds f is Polynomial of INT.Ring