Por lo tanto, el orden de cualquier elemento de G, que coincide con el cardinal del subgrupo generado por él, divide al orden de G.