Pokażemy, że gdy
jest nieparzystą liczbą pierwszą, równanie
nie ma rozwiązań w liczbach całkowitych dodatnich.
Przypuśćmy, że para liczb całkowitych
jest rozwiązaniem. Zgodnie z małym twierdzeniem Fermata,
Jeśli więc
to
czyli 
Z wypukłości funkcji
(w zbiorze liczb dodatnich) wynika nierówność
Funkcja
jest rosnąca; stąd
Skoro zaś
(mod
), widzimy, że
A zatem
Aby uzyskać oczekiwaną sprzeczność, wystarczy wykazać, że
 |
(1) |
Oznaczmy:
; wtedy
Ponownie korzystając z wypukłości funkcji
mamy nierówność
Wobec tego
 |
(2) |
Z drugiej strony,
 |
(3) |
Nierówność (1) będzie udowodniona, jeśli pokażemy, że w wyrażeniu po prawej stronie (2) współczynnik stojący przy
jest nie mniejszy niż analogiczny współczynnik w wyrażeniu (3); czyli, że
 |
(4) |
Łatwo przerachować, że
Stąd
; oszacowanie (4) gotowe, dowód zakończony.