Korollar 17.5 Kurs:Kommutative Algebra/Teil I/Vorlesung 17
Kommutative Ringtheorie/Hilbertscher Basissatz/Endliche viele Variablen/Fakt
