Przeprowadźmy dowód wprost.

Założenie:

Liczba  należy do liczb naturalnych ().

Należy dowieść, że liczba  jest podzielna przez .

Oznaczmy ją jako .

Wyłączmy w podanych parach wyrażeń