Existence of Rational Powers of Irrational Numbers

Proposition: There exist irrational $$a$$ and $$b$$ such that $$a^b$$ is rational.

Proof: It is well known that 2 is rational and $$\sqrt{2}$$ is irrational. Consider the number $$q = \sqrt{2}^{\sqrt{2}},$$ which is irrational by the Gelfond-Schneider Theorem. Thus $$q^{\sqrt{2}} = (\sqrt{2}^{\sqrt{2}})^{\sqrt{2}} = \sqrt{2}^{(\sqrt{2})(\sqrt{2})} = \sqrt{2}^2 = 2$$ is rational, so $$a = q = \sqrt{2}^{\sqrt{2}}$$ and $$b = \sqrt{2}$$ are the desired irrationals.