theorem Th46: :: E_TRANS2:40

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