Exponential of Real Number is Strictly Positive

Theorem
Let $x$ be a real number.

Let $\exp$ denote the (real) exponential function.

Then:
 * $\forall x \in \R : \exp x > 0$