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