Fundamental theorem of finitely generated abelian groupsfundamental theorem of finitely generated abelian groups is a theorem.