Epimorphism from Real Numbers to Circle Group

Theorem
Let $\left({K, \times}\right)$ be the circle group, that is:
 * $K = \left\{{z \in \C: \left|{z}\right| = 1}\right\}$

under complex numtiplication. (Lovely typo, can I leave it in, please?)

Let $f: \R \to K$ be the mapping from the real numbers to $K$ defined as:
 * $\forall x \in \R: f \left({x}\right) = \cos x + i \sin x$

Then $f: \left({\R, +}\right) \to \left({K, \times}\right)$ is a group epimorphism.

Its kernel is:
 * $\ker \left({f}\right) = \left\{{2 \pi n: n \in \Z}\right\}$

Proof
$f$ is a surjection from ...

Then:

So $f$ is a (group) homomorphism.

Thus $f$ is seen to be a surjective homomorphism

Hence, by definition, it is a (group) epimorphism.