Glatte Kurve/Morphismus/Zurückgezogener Divisor/Hauptdivisor/Fakt

Zu einem nichtkonstanten Morphismus

zwischen irreduziblen glatten Kurven über einem algebraisch abgeschlossenen Körper und einem Hauptdivisor auf mit , ,

stimmt der zurückgezogene Divisor mit dem Hauptdivisor zu auf überein.