This theorem states that a [polynomial ring](/page/Polynomial%20Ring) in finitely many variables over a [Noetherian ring](/page/Noetherian%20Ring) is again Noetherian. It is a central permanence result that underlies much of affine algebraic geometry and commutative algebra.