Korollar 9.5
Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 9 Kommutative Ringtheorie/Hilbertscher Basissatz/Endliche viele Variablen/Fakt