Beweis
Es seien
die Koordinaten in
und somit ist insbesondere
.
Wir setzen
-

und arbeiten mit
Fakt.
Es sei
ein dafür relevanter lokaler Ring, dabei ist
.
Wegen
ist
-

mit holomorphen Funktionen
und wegen
-

(was auf
beruht)
folgt mit der Produktregel
-

Es ist
-

bzw.
-

Daher gilt mit
die Beziehung
-

Mit
dem Lemma von Nakayama
folgt
.
Aus
folgt somit
.