theorem Th21: :: LIOUVIL2:20

for f being RAT -valued Polynomial of F_Complex holds f is Polynomial of F_Rat