Kompakte riemannsche Fläche/Hauptdivisor/Grad 0/Fakt/Beweis