Exponential of Zero/Proof 1

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

Then:
 * $\exp 0 = 1$

Proof
We have that the exponential function is the inverse of the natural logarithm function:
 * $\ln 1 = 0$

Hence the result.