Exponential of Sum/Real Numbers

Theorem
Let $x, y \in \R$ be real numbers.

Let $\exp x$ be the exponential of $x$.

Then:
 * $\map \exp {x + y} = \paren {\exp x} \paren {\exp y}$