It is given that the order of some finite abelian group is divisible by 10. Prove that the group has a cyclic subgroup of order 10.
It is clear that since order of group is divisible by 10. By converse to Lagrange's Theorem, if 10 divides the order of the group G, then G has a subgroup of order 10.
But to ensure that this subgroup is cyclic.