Es sei R {\displaystyle {}R} ein noetherscher Ring.
Dann ist auch R [ X 1 , … , X n ] {\displaystyle {}R[X_{1},\ldots ,X_{n}]} noethersch.