600 Algebra 1
: Hilbert Basis Theorem
(91/99)