Quotient Group of Reals by Integers is Circle Group

Theorem
Let $\left({\Z, +}\right)$ be the Additive Group of Integers.

Let $\left({\R, +}\right)$ be the Additive Group of Real Numbers.

Let $K$ be the Circle Group.

Then the quotient group of $\left({\R, +}\right)$ by $\left({\Z, +}\right)$ is isomorphic to $K$.