Finitely_Generated_Abelian_Groups.Finite_Product_Extend