Theorem. hi
Insert theorem name here. hiiii
Theorem. Every finitely-generated abelian group is finitely-generated.