4. Theorem 4.8.1 - Hilbert's Basis Theorem

If $A$ is a noetherian ring, then 1;; $A [x]$ is a Noetherian ring.

Remark

Used ideas of gröbner basis. That is, we used leading coefficients in a possibly infinitely generated ideal. Proof by contradiction.