Da
keine Nullstelle besitzt, kann man jede Funktion
-
als
-

mit einer unbekannten
(differenzierbaren)
Funktion
ansetzen. Dabei ist
(für eine differenzierbare Funktion
)
-

Daher kann man die Lösungsbedingung
-

als
-

schreiben, und diese gilt wegen
genau dann, wenn
-

bzw.
-

gilt. D.h.

muss eine Stammfunktion zu

sein.