Kurs:Invariantentheorie (Osnabrück 2012-2013)/Kommutative Ringtheorie/Hilbertscher Basissatz/Endliche viele Variablen/Fakt/Faktreferenznummer