 Hilbert proved that if formula_1 is "not too large", in the sense that if formula_1 is Noetherian, the same must be true for formula_2.Formally,

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