Let be a finite group and let be the set of all subgroups of . Define an action of on by for and i.e. action by conjugation. Show that is indeed a group action. Now let the stabilizer of is i.e. the stabilizer is the normalizer here, so . Let then the orbit of is i.e. all the conjugate subgroups to . It follows from the orbit-stabilizer theorem that .