È ovvio che se prendiamo un polinomio in una variabile x a coefficienti interi, come 3x³+14x²+15x+10, e assegniamo a x un valore intero otteniamo un risultato intero. Ma è vero anche il viceversa? In altri termini: se abbiamo un polinomio in x che ha un valore intero per un qualunque valore intero assegnato a x, possiamo dedurre che quel polinomio è a coefficienti interi?
![[3x^3+14x^2+15x+10]](./q481a.png)
Problema di David Butler.