Udowodnić, że dla każdej liczby nieparzystej
istnieje taka liczba naturalna
, że liczba
jest podzielna przez
.
Żadna z liczb
nie daje reszty
z dzielenia przez
, ponieważ
i
jest liczbą nieparzystą.
Ponieważ liczb tych jest
, a możliwych reszt różnych od zera jest
, więc dwie liczby
i
, gdzie
, dają tę samą resztę z dzielenia przez
. Zatem
dzieli się przez
i wobec tego liczba
dzieli się przez
. Ponieważ liczba
jest nieparzysta, więc wynika stąd, że liczba
dzieli się przez
. Wobec tego liczba
spełnia warunki zadania.