Kurve/Morphismus/Vorgeschobener Divisor/Eigenschaften/Fakt/Beweis

Beweis

(1) ist klar, bei (2) und (3) genügt es, die Aussagen für einen einzelnen Punkt zu zeigen. (2) ist dann klar, (3) folgt aus Fakt.