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.