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