Polynomring/Mehrere Variablen über K/Faktoriell/Fakt/Beweis

Beweis

Dies folgt durch induktive Anwendung von Fakt auf die Kette