Es sei
ein
algebraisch abgeschlossener Körper
der
Charakteristik
und
eine
Reflektionsgruppe.
Es sei
das
Ideal
in
, das durch die homogenen Invarianten von einem positiven
Grad
erzeugt
wird. Es gelte
-

wobei die
homogene Polynome und die
invariante Polynome seien.
Dann ist
oder
.