State/Classification of subgroups of the integers

=Proof=