Prove that the set of all elements of finite order in an abelian group (G, ⋅) forms a subgroup of (G, ⋅). This subgroup is called the torsion subgroup of G.