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$$.