Szukamy liczb całkowitych dodatnich
oraz liczby pierwszej
,
dla których
Dla
powyższe równanie sprowadza się do
, co
spełnione być nie może. Przyjmijmy więc bez straty ogólności, że
oraz
. Wtedy
oraz
,
skąd wniosek, że
oraz
.
A zatem
Wobec tego
lub
.
W przypadku, gdy
, otrzymujemy równanie
.
Bezpośrednio sprawdzamy, że równanie to nie ma rozwiązań w liczbach
całkowitych dodatnich
.
Z kolei z podzielności
wynika, że
jest dzielnikiem
jednej z liczb
lub
, co po wykorzystaniu podzielności
pozwala wywnioskować, że liczba
jest dzielnikiem obu
liczb
. Wobec tego
,
, gdzie liczby
są całkowite i dodatnie. Dane równanie przybiera wtedy
postać
A ponieważ
, więc
oraz
.
Z ostatniej równości dostajemy:
. Stąd
,
oraz
Bezpośrednie sprawdzenie dowodzi, że para
spełnia
warunki zadania.