Ebene algebraische Kurve/Schnittmultiplizität/Summe der Multiplizitäten ist Restklassendimension/Fakt/Beweis

Beweis

Dies folgt direkt aus der in Fakt bewiesenen Isomorphie.