Reciprocal of Real Exponential

Theorem
Let $x \in \R$.

If $\exp$ denotes the real exponential function, then:
 * $\dfrac 1 {\exp \left({x}\right)} = \exp \left({-x}\right)$