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

Es sei ein algebraisch abgeschlossener Körper und seien Polynome ohne gemeinsamen Primteiler. Dann ist