Suppose that
in the situation of
fact.
Then the generic elements are parameters. In the polynomial ring
we have for parameters of degree the inclusion
-
because the graded Koszul resolution ends in and
-
So the theorem implies for a graded ring finite over that
holds for generic elements. But by the graded Briançon-Skoda Theorem (see
fact)
this holds for parameters even without the generic assumption.