Θέτοντας

και

η εξίσωση γίνεται:

ή αλλιώς

που είναι η ταυτότητα του Euler. Άρα πρέπει είτε

που δεν οδηγεί σε λύσεις είτε

.
Η

έχει

άρα η

είναι γνησίως αύξουσα.
Αφού

παίρνουμε

και

άρα από Bolzano η

έχει μία ακριβώς (επειδή είναι γνησίως αύξουσα) ρίζα στο

, έστω

.
Για

είναι

και άρα η

εκεί είναι γνησίως φθίνουσα ενώ για

είναι

άρα η

εκεί είναι γνησίως αύξουσα. Επειδή

, οι

και

είναι οι μοναδικές ρίζες της

και άρα της εξίσωσής μας.