Абелевы группы

Доказать, что всякая подгруппа группы $\mathbb {Z}$ имеет вид $n\mathbb {Z}$, где $n \in \mathbb {Z}_+$ (решение этой задачи можно найти в §1.4).