Przeprowadźmy dowód nie wprost.

Załóżmy, że liczba  jest wymierna.

Wtedy:

, gdzie:

 należą do liczb naturalnych pierwszych i .

Z definicji logarytmu:

, gdzie:

 i