Załóżmy, że liczba  jest liczbą wymierną.

Wtedy:

, gdzie:

, 

Licznik i mianownik - liczby pierwsze.

Można stwierdzić, że  jest podzielne przez , więc  mus