Subgroups of Abelian Groups Are Exactly $\mathbb{Z}$-Submodules