Let
and be natural numbers,
.
Let
be a finite extension of standard-graded domains
(a graded Noether normalization). Suppose that there exist homogeneous polynomials in
with
such that
.
Then
-
holds in the generic point of the parameter space of homogeneous elements in of this degree type
(the coefficients of the are taken as indeterminates).
- If is normal, then
holds for (open) generic choice of homogeneous elements in of this degree type.