Existence of Rational Powers of Irrational Numbers

Theorem
There exist irrational numbers $a$ and $b$ such that $a^b$ is rational.