Kommutative Ringtheorie/Polynomring über Körper/Endliche viele Variablen/Noethersch/Fakt/Beweis