Теорема о классификации конечнопорождённых абелевых групп