Suppose $S$ is a polynomial ring, $I$ an ideal and $<$ some term order. Why is the Hilbert series of $S/I$ the same as the Hilbert series of $S/\mathrm{in}_<(I)$?
I truly suspect the answer is lurking in Chapter 15 of Eisenbud's Commutative Algebra (or even staring me in the face), but I can't put it together.