Cauchy’s theoremLet G be a finite group and let p be a prime dividing |G|. Then there is an element of G of order p.