Proof

Let g be an element of the finite group G. Then the order of g equals the number of elements in the subgroup <g> of G. In particular, Lagrange's Theorem implies that, |<g>|, the order of g, divides |G|.