Fundamental theorem of finite abelian groups