Let be the set of all conjugates of P and let P acts on by conjugation. An element T (sylow P-subgroup) in satisfies in the above lemma iff for all . We see that . We also know that T is normal in . By the second Sylow theorem, P and T should be conjuate in . This forces T= P and . Since and p does not divide , we conclude that .