Exponent Combination Laws/Negative Power

Theorem
Let $a \in \R_{>0}$ be a strictly positive real number.

Let $x \in \R$ be a real number.

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

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