Satz 26.11
Kurs:Algebraische Kurven (Osnabrück 2008)/Vorlesung 26 Ebene algebraische Kurve/Schnittmultiplizität/Summe der Multiplizitäten ist Restklassendimension/Fakt