Kurs:Algebraische Kurven/Polynomring über Körper/Punkte im affinen Raum und K-Algebra-Homomorphismen/Identifizierung/Fakt/Faktreferenznummer

Lemma 12.3 (Algebraische Kurven (Osnabrück 2017-2018))