Wir betrachten die holomorphe Funktion
-
in zwei Variablen, es sei
ein Punkt mit
.
Es ist
.
Die Abbildung besitzt die partiellen Ableitungen
und .
Im Punkt ist definitiv die zweite partielle Ableitung , daher ist das totale Differential in diesem Punkt surjektiv und man kann
(eine explizite Version von)
Fakt
anwenden. D.h. es gibt eine auf einer offenen Menge
definierte holomorphe Funktion
-
die auf der Faser von über liegt und
erfüllt. Damit ist
-
also
für alle
.