Riemannsche Fläche/Hyperelliptisch/Über C/Holomorphe Differentialformen/Fakt/Beweis

Beweis

Aus ergibt sich die algebraische Relation . Daher ist

und da und keine gemeinsame Nullstelle haben, ist eine solche Differentialform überall definiert.