Corollary of first Sylow theorem
If a prime number p divides |G| (G Group), then there is an element in x∈Gx \in Gx∈G, of order p.