Real Number to Negative Power

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