Hilbert's basis theorem