Redirecting to Hilbert's basis theorem