諾特環
Hilbert's Basis Theorem. If formula_1 is a Noetherian ring, then formula_2 is a Noetherian ring.