est la solution de l'équation différentielle , vérifiant: . Suivant ce point de vue, on définit et on définit comme étant la fonction inverse de la fonction (de sorte que ).
On a alors le théorème: