Theorem. hi

Insert theorem name here. hiiii

Theorem. Every finitely-generated abelian group is finitely-generated.