Finitely Generated Abelian Group Theorem