Załóżmy, że jest dzielnikiem .

Oznacza to, że istnieje pewna liczba naturalna , taka że . Stąd wynika, że.

Ponieważ dzieli , to istnieje inna liczba naturalna , taka że . Zatem możemy