Es sei ${\displaystyle {}G}$ eine endliche Gruppe, die auf einer endlichen Menge ${\displaystyle {}M}$ operiere. Es sei ${\displaystyle {}F}$ die Menge der Fixpunkte der Operation und es seien ${\displaystyle {}G_{1},\ldots ,G_{n}}$ die verschiedenen Bahnen mit mindestens zwei Elementen.

Dann ist