Hilbert's basis theorem: Difference between revisions