Power Function on Base between Zero and One is Strictly Decreasing/Real Number

Theorem
Let $a \in \R$ be a real number such that $0 \lt a \lt 1$.

Let $f: \R \to \R$ be the real function defined as:
 * $\map f x = a^x$

where $a^x$ denotes $a$ to the power of $x$.

Then $f$ is strictly decreasing.

Proof
Let $x, y \in \R$ be such that $x < y$.

Since $0 < a < 1$, we have that:
 * $\dfrac 1 a > 1$

Then we have that:

The result follows.