Es sei G ⊆ GL n ( K ) {\displaystyle {}G\subseteq \operatorname {GL} _{n}\!{\left(K\right)}} eine nichttriviale Reflektionsgruppe. Zeige, dass zu einer fixpunktfreien, offenen G {\displaystyle {}G} -invarianten Teilmenge U ⊆ K n {\displaystyle {}U\subseteq K^{n}} das Komplement K n ∖ U {\displaystyle {}K^{n}\setminus U} eine Dimension ≥ n − 1 {\displaystyle {}\geq n-1} besitzt.
