Redirecting to Hilbert's syzygy theorem