Let , where are primes.

Since divides , contains an element of order p.

Let .

Since is a -sylow subgroup of , the number of conjugates is for some .

But which divides .

Since , then divides .

Since , then and is normal in .

I don't understand why S is normal in G. If it is because [G:N(S)]=1, why?