Hilbert's basis theorem

Proper noun

 * 1)  A theorem stating that a polynomial ring over a Noetherian ring is Noetherian.