Riemannsche Fläche/Kompakt/Kanonische Garbe/Grad/Fakt/Beweis

Beweis

Der Satz von Riemann-Roch ergibt für einen kanonischen Divisor wegen unter Verwendung von Fakt die Gleichheit

Also ist