Remark

The classification of cyclic groups can be handled easily with the theorem.

Because G is cyclic, there exists g G with G = <g>. Consider the map f : Z -> G,    f(n) = gⁿ. It is a surjective morphism with kernel nZ. The assertion now follows directly from the First Isomorphism Theorem applied to f.