Exponential of Sum/Real Numbers/Corollary

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

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

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

Proof
By Exponential of Sum: Real Numbers:


 * $\map \exp {x - y} = \exp x \, \map \exp {-y}$

By Reciprocal of Complex Exponential:


 * $\dfrac 1 {\exp y} = \map \exp {-y}$

Combining these two, we obtain the result:


 * $\map \exp {x - y} = \dfrac {\exp x} {\exp y}$