Exponent Combination Laws/Quotient of Powers

Theorem
Let $a \in \R_+$ be a positive real number.

Let $x, y \in \R$ be real numbers.

Let $a^x$ be defined as $a$ to the power of $x$.

Then:
 * $\dfrac{a^x}{a^y} = a^{x-y}$