Hilbert's basis theorem

== English == === Proper noun === Hilbert's basis theorem (mathematics) A theorem stating that a polynomial ring over a Noetherian ring is Noetherian.