Hyperelliptische Gleichung/Reell/Schleife des Graphen/Holomorphes Differential/Fakt/Beweis

Beweis

Die Form ist nach Fakt eine holomorphe Differentialform (hierzu braucht man Grad ). Auf dem Hinweg ist der Integrand positiv, auf dem Rückweg ebenfalls, da dort negativ und auch negativ ist. Der Zusatz folgt aus Fakt.