Any infinite cyclic group is isomorphic to the additive group of integers