Η εξίσωση είναι ισοδύναμη με την

(1)
Είναι εύκολο να δειχθεί ότι αν υπάρχει τέτοια συνάρτηση τότε είναι άπειρα φορές παραγωγίσιμη
και έχει ανάπτυγμα Taylor γύρω από το
παραγωγίζοντας την (1) και θέτοντας
βρίσκουμε
Ετσι
και
Αντικαθιστώντας στην (1) παίρνουμε ΑΤΟΠΟ.
Συγκεκριμένα χαλάει ο συντελεστής του

.