Riemannsche Fläche/Identitätssatz/Fakt/Beweis

Beweis

Wir betrachten die Differenz , die nach Fakt wieder holomorph ist. Es ist dann

und da die Folgenglieder einen Häufungspunkt besitzen, handelt es sich um eine nichtdiskrete Menge. Nach Fakt ist und damit .