Przeprowadźmy dowód wprost.

Założenie:

Liczba  należy do liczb naturalnych ().

Teza:

Liczba  jest podzielna przez .

Wyłączmy w podanych parach wyrażeń wspólne czynniki przed nawiasy,