Dane są liczby naturalne
. Określamy indukcyjnie dwa ciągi liczb
i
w sposób następujący:
Krok pierwszy: dzielimy
przez
i otrzymujemy iloraz
i resztę
,
krok j-ty: dzielimy
przez
i otrzymujemy iloraz
i resztę
. Obliczyć sumę
.
Zgodnie z określeniem
![]() |
Dodając te równości otrzymamy
![]() |
więc
![]() |
Liczba
jako reszta z dzielenia
przez
spełnia warunek
, z ostatniej równości wynika natomiast, że
jest liczbą podzielną przez
. Wobec tego
i
![]() |
więc
![]() |