È 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?
Problema di David Butler.