Quotient Group of Reals by Integers is Circle Group

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

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

Let $$K$$ be the Circle Group.

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