What is a proof that there are two irrational numbers where raising one to the power of the other produces a rational number?