Zu a ∈ K {\displaystyle {}a\in {\mathbb {K} }} mit f ′ ( a ) ≠ 0 {\displaystyle {}f'(a)\neq 0} ist auch die Umkehrfunktion f − 1 {\displaystyle {}f^{-1}} in b = f ( a ) {\displaystyle {}b=f(a)} differenzierbar mit