Es sei K {\displaystyle {}K} ein Körper. Dann sind die Polynomringe K [ X 1 , … , X n ] {\displaystyle {}K[X_{1},\ldots ,X_{n}]}
faktoriell.