Reciprocal of Real Exponential

Theorem
Let $x \in \R$.

Let $\exp$ denotes the real exponential function.

Then:
 * $\dfrac 1 {\exp \left({x}\right)} = \exp \left({-x}\right)$