Exponential on Real Numbers is Group Isomorphism

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

Let $\left({\R_{> 0}, \times}\right)$ be the Multiplicative Group of Positive Real Numbers.

Let $\exp: \left({\R, +}\right) \to \left({\R_{> 0}, \times}\right)$ be the mapping:
 * $x \mapsto \exp \left({x}\right)$

where $\exp$ is the exponential function.

Then $\exp$ is a group isomorphism.