
Iplikacja w lewo jest trywialna. Jeżeli
nie jest liczbą pierwszą, to istnieje jej czynnik pierwszy
, który musi dzielić
jako, że jest mniejszy od
.
nie może więc przystawać do
modulo
(Gdyby
przystawałoby do
modulo
, przystawałoby także do
modulo
a nie przystaje).
Implikacja w prawo jest trudniejsza. Zakładamy, że
. Można to wykazać, grupując w pary liczby wraz z ich antymodułami względem
. Jeżeli
, to wiemy, że istnieje liczba
taka, że
. Liczba
jest tu odwrotnością
, także liczba
jest odwrotnością
. Każde dwie odwrotności liczby
przystają do siebie, ponieważ
.
Każdą liczbę pomiędzy
a
stawiamy w parze z jej odwrotnością. Ponieważ iloczyn każdej liczby z jej odwrotnością przystaje do
modulo
, więc iloczyn wszystkich liczb z tak utworzonych par również przystaje do 1. Na tej samej zasadzie
.
Zauważmy, że dla
mamy następującą sytuację:
,
,
,
. Musimy, więc określić, które liczby
są swoimi odwrotnościami. Dla takich liczb zachodzi
. Wiemy, że taka kongruencja ma dwa rozwiązania, gdy
(jeżeli
, to
). Rozwiązaniami są
i
, a pozostałe liczby (między
a
) stoją w parach. Ostatecznie więc
.