Udowodnić, że jeśli wielomian o współczynnikach całkowitych przyjmuje wartość 1 dla czterech różnych argumentów całkowitych, to dla żadnego argumentu całkowitego nie przyjmuje wartości -1.
Liczby całkowite
,
,
,
, dla których dany wielomian
przyjmuje wartość
są pierwiastkami wielomianu
. Ten ostatni wielomian jest więc podzielny przez
,
,
,
a wobec tego w
, gdzie
jest pewnym wielomianem o współczynnikach całkowitych. Gdyby było
dla pewnego całkowitego
, to byłoby
, więc
. Ostatnia równość przedstawia liczbę
w postaci iloczynu liczb całkowitych
,
,
,
,
, wśród których pierwsze cztery są parami różne. Wobec tego co najwyżej jedna z liczb
,
,
,
jest równa
, co najwyżej jedna z nich jest równa
, co najmniej dwie mają wartość bezwzględną większą od
. To prowadzi jednak do sprzeczności z faktem, że
jest liczbą pierwszą. Nie może więc być
dla żadnego całkowitego
.