Polynomring/Mehrere Variablen über K/Faktoriell/Fakt

Es sei ein Körper. Dann sind die Polynomringe

faktoriell.