Reciprocal of Real Exponential

Theorem
Let $x \in \R$.

Let $\exp$ denotes the real exponential function.

Then:
 * $\dfrac 1 {\map \exp x} = \map \exp {-x}$