Glatte projektive Kurven/Rationale Funktion als Morphismus nach P^1/Fakt

Es sei ein Körper und eine glatte irreduzible ebene projektive Kurve. Es sei ein affines Teilstück davon. Es sei eine rationale Funktion (mit ).

Dann gibt es einen eindeutigen Morphismus

derart, dass das Diagramm

kommutiert.