Es sei A {\displaystyle {}A} ein noetherscher kommutativer Ring. Man zeige, dass A [ [ T 1 , … , T n ] ] {\displaystyle {}A[[T_{1},\ldots ,T_{n}]]} noethersch ist.
![{\displaystyle {}A[[T_{1},\ldots ,T_{n}]]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b0d3ecb35f37edf47ff60f9009824b3d5056fcef)