Zu
ist
-
eine
Überlagerung.
Sei
und
ein Punkt mit
.
Es sei
eine offene Umgebung, die
homöomorph
auf
abbildet. Eine solche Menge gibt es nach
Fakt
und wegen
.
Die Menge der -ten
komplexen Einheitswurzeln
ist
-
siehe
Fakt.
Wir können verkleinern und dadurch erreichen, dass für alle -ten
Einheitswurzeln
die offenen Mengen
und
disjunkt
sind. Dann ist
-