Hilbert Basis Theorem