Proof: One more irrationality proof :) Ok, for this one I cannot even start the proof because I do not even know what I am trying to prove The question states: Prove of give a counterexample: there do not exist irrational numbers x and y such that x^y is rational. Ok, lets knock out the counterexample, because I think that there is definitely not one. And now it is a proof, and the statement is an implication. But which way is the implication is what I cannot figure out. Is it: If x and y are irrational, then x^y is irrational? Or, If x and y are rational, then x^y is rational? Danke!