This is the sketch of the proof.

Let H be a subgroup of group G of ordernand M be the intersection of all subgroups of G of ordern. It follows immediately that M is a subgroup of G. We remain to show that M is normal in G. We see that all subgroups of ordernin G are either conjugate subgroups of H or subgroups of ordernin G that are not conjugate to H but are conjugate to other subgroups of order n in G.

Let K be the intersection of all conjugates of H in G. Since the intersection of all conjugates of H is normal in G (link 1)(link 2) and , we see that for every . Thus M is a normal subgroup of G.

Edit : The last line holds because M is the intersection of all conjugate subgroups of subgroups of order n in G, where and each for denotes a subgroup of a group G of order n.