About every subgroup of $ ( \mathbb{Z} , + ) $ being cyclic. I'm citing below the definition of and a theorem about cyclic groups, as it is written in my book (Algebra, by Thomas Hungerford):

Definition:
Let $ G $ be a group (notation is multiplicative in here.) For every $ a \in G, $ a cyclic group is: $ \langle a \rangle = \{a^n : n\in \mathbb{Z}\} $

and,

Theorem:
Every subgroup $ H $ of the additive group $ ( \mathbb{Z},+ ) $ is cyclic. Either $ H = \langle 0 \rangle, $ or $ H = \langle m \rangle, $ where $ m $ is the least positive integer in $ H $.


My question is;
I know that, and I would, express $ H $ as the union of all $ H_m = \{ m \mathbb{Z} : m \in H \} $.
The reason why I'm specifying this notation is that I don't understand the fact that $ m $ should be the least integer there (if I get it right of course.)
Thank you for giving advice.

$ H$ closed under subtraction $\Rightarrow$ $H$ closed under remainder $= \bmod $ (via repeated subtraction) hence $H$ is closed under $\gcd,\,$ since gcds are computable by repeated $\!\bmod$ (or subtraction) by Euclid. Now it's easy to show $H$ is generated by the gcd of its elements - its least positive element (for $H\neq 0)$
This is the intuition behind the proof. You might find it enlightening to see how it is employed in this proof of Bezout's GCD identity.  These ideas will be clarified when one  studies (principal) ideals in rings, and the result that Euclidean domains are PIDs (a generalization of Bezout)
