Es sei ${\displaystyle {}K}$ ein algebraisch abgeschlossener Körper der Charakteristik ${\displaystyle {}0}$ und ${\displaystyle {}G\subseteq \operatorname {GL} _{n}\!{\left(K\right)}}$ eine Reflektionsgruppe. Es sei ${\displaystyle {}I_{G}}$ das Ideal in ${\displaystyle {}K[X_{1},\ldots ,X_{n}]}$, das durch die homogenen Invarianten von einem positiven Grad erzeugt wird. Es gelte

${\displaystyle {}g_{1}h_{1}+\cdots +g_{m}h_{m}=0\,,}$

wobei die ${\displaystyle {}h_{1},\ldots ,h_{m}\in K[X_{1},\ldots ,X_{n}]}$ homogene Polynome und die ${\displaystyle {}g_{1},\ldots ,g_{m}\in K[X_{1},\ldots ,X_{n}]^{G}}$ invariante Polynome seien.

Dann ist ${\displaystyle {}h_{1}\in I_{G}}$ oder ${\displaystyle {}g_{1}\in (g_{2},\ldots ,g_{m})}$.