theorem :: NUMBER19:72

for f being Polynomial of INT.Ring st degree f > 0 holds
{ p where p is Prime : ex x being Element of INT.Ring st eval (f,x), 0 are_congruent_mod p } is infinite