Riemannsche Fläche/Meromorphe Funktion/Divisor/Rückzug/Fakt/Beweis

Beweis

Dies folgt aus Fakt, angewendet auf die Identität auf der projektiven Geraden. Wenn man diese als meromorphe Funktion auffasst, so ist deren Hauptdivisor gleich .