Positive Rational Number as Power of Number with Power of Itself

Theorem
Every positive rational number can be written either as:
 * $a^{a^a}$ for some irrational number $a$

or as:
 * $n^{n^n}$ for some natural number $n$.