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

Beweis

Dies folgt durch induktive Anwendung von Fakt auf die Kette

${}K\subset K[X_{1}]\subset (K[X_{1}])[X_{2}]\subset (K[X_{1},X_{2}])[X_{3}]\subset \ldots \,$

Zur bewiesenen Aussage