Exponential of Zero

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

Then:
 * $\exp 0 = 1$