prove that a finite abelian group that is not cyclic contains a subgroup which is isomorphic to for some prime p math.stackexchange