Theorem. hi

Theorem (Insert theorem name here). hiiii

Theorem (Insert theorem name here). :3

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