Finite Abelian Group Structure Theorem