Glatte Kurven/Algebraisch abgeschlossen/Morphismus/Endlich/Gradkonstanz/Fakt

Es seien und irreduzible glatte Kurven über einem algebraisch abgeschlossenen Körper und sei

eine endliche Abbildung vom Grad .

Dann besteht für jeden Punkt das Urbild aus höchstens Punkten. Wenn man die Punkte mit Multiplizitäten zählt, so handelt es sich jeweils um genau Punkte.