Llama \( G=F-5 \), que es también un polinomio con coeficientes enteros que toma el valor 0 en cuatro enteros diferentes \( a_1, a_2, a_3, a_4 \) y hay que probar que no existe ningún entero \( b \) donde tome el valor 3.
Ahora bien, \( G(x)=(x-a_1)(x-a_2)(x-a_3)(x-a_3)H(x) \),
donde \( H(x) \) es también un polinomio con coeficientes enteros, luego sería
\( 3=(b-a_1)(b-a_2)(b-a_3)(b-a_4)H(b) \),
donde todos los factores son enteros, y los cuatro primeros son distintos dos a dos, pero \( 3 \) no puede descomponerse en cinco factores enteros con cuatro de ellos distintos. En cuatro con tres distintos sí: \( 3=(-3)\cdot (-1)\cdot 1\cdot 1 \), pero en cinco no.