Es teniendo en cuenta que el orden de algunos grupo abelian finito es divisible por 10. Demostrar que el grupo tiene un subgrupo cíclico de orden 10.
Está claro que puesto que el orden de grupo es divisible por 10. Inverso al teorema de Lagrange, si 10 divide el orden del grupo G, entonces G tiene un subgrupo de orden 10.
Pero para que este subgrupo sea cíclico.