Proving group is cyclic without Fundamental Theorem of finite Abelian groups?
A finite abelian group that does not contain a subgroup isomorphic to $\mathbb Z_p\oplus\mathbb Z_p$, for any prime $p$, is cyclic.