lautet:

Es sei D ∈ ℂ eine offene Menge und f eine in D holomorphe Funktion. Weiter sei z₀ ∈ D, w₀ ≔ f (z₀) und f′(z₀) ≠ 0.

Dann existieren Umgebungen U ⊂ D von z₀und V ⊂ f (D) von w₀derart, daß f_/U: U → V eine bijektive Abbildung ist. Es ist f sogar eine konforme Abbildung von U auf V.