State and prove Hilbert's Basis Theorem.