Real Power of Strictly Positive Real Number is Strictly Positive

Theorem
Let $x$ be a positive real number.

Let $n$ be a Definition:Real Number

Then:
 * $x^n > 0$

where $x^n$ denotes power.

Proof
From the definition of power:
 * $x^n = \exp \left({r \ln x}\right)$

From Exponential is Strictly Positive:
 * $x^n = \exp \left({r \ln x}\right) > 0$