Exponential is Strictly Increasing

Theorem
Let $x \in \R$ be a real number.

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

Then:
 * The function $\map f x = \exp x$ is strictly increasing.