Es seien U , V ⊆ C {\displaystyle {}U,V\subseteq {\mathbb {C} }} offen und sei f : U → V {\displaystyle {}f\colon U\rightarrow V} eine bijektive holomorphe Funktion.
Dann ist auch die Umkehrfunktion f − 1 : V → U {\displaystyle {}f^{-1}\colon V\rightarrow U} holomorph.
