Exponential of Sum/Real Numbers/Corollary

Corollary to Exponent of Sum/Real Numbers
Let $x, y \in \R$ be real numbers.

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

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