Given permutation Group left acting on a finite set define on by if there is some such that Orbit Let Then the number of orbits is: Proof Count in two ways. On the one hand: On the other hand, if is the Stabilizer of note for is a Coset of so: so the contribution to from is