Es seien D , E ⊆ R {\displaystyle {}D,E\subseteq \mathbb {R} } Intervalle und sei
eine bijektive stetige Funktion mit der Umkehrfunktion
Dann ist auch die Umkehrfunktion f − 1 {\displaystyle {}f^{-1}} in b := f ( a ) {\displaystyle {}b:=f(a)} differenzierbar mit