Theorem. hi
Theorem (Insert theorem name here). hiiii
Theorem (Insert theorem name here). :3
Theorem. Every finitely-generated abelian group is finitely-generated.