Nach
Fakt
gilt
-
Da die Umkehrfunktion die gleichen Bedingungen erfüllt, gilt auch die umgekehrte Abschätzung und daher gilt
-
für alle . Aufgrund des Zusatzes von
Fakt
liegt eine Drehung vor. Umgekehrt ist eine Drehung natürlich eine biholomorphe Abbildung.