There exists irrational numbers a and b such that a^b is rational