Discrete Subgroup of Real Numbers is Closed

Theorem
Let $G$ be a subgroup of the additive group of real numbers.

Let $G$ be discrete.

Then $G$ is closed.

Proof
By Subgroup of Real Numbers is Discrete or Dense, there exists $a\in \R$ such that $G=a\Z$.

If $a=0$, then $G$ is closed.

Let $a>0$.

Then:
 * $\displaystyle\R\setminus G = \bigcup_{z\in \Z}(az,az+a)$

By Union of Open Sets of Metric Space is Open, $R\setminus G$ is open.

Thus $G$ is closed.