Endliche Gruppenoperation/Reflektionsanzahl/Polynomring/Gradbeziehung/Fakt/Beweis

Beweis

Nach Fakt ist

Wegen ist dies gleich

Der Bruch hat um die Potenzreihenentwicklung

was sich durch Einsetzen und Ableiten ergibt. Die Laurent-Entwicklung um ergibt sich durch Einsetzen zu

Der Vergleich mit Fakt ergibt die Behauptung.