Let , where are primes.
Since divides , contains an element of order p.
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?