Since is normal subgroup form factor group .
Let and consider .
Let be the order of in .
By Lagrange's theorem we know .
Also thus .
Now if divides then divides .
But and are relatively prime.
This forces .
Finally since the order of in is one it must mean .