いえない。X=22X = \sqrt{2}^{\sqrt{2}}X=22を考える。 もしこれが有理数ならXXXが反例となる。
またXXXが無理数だとする。 このときX2=22=2X^{\sqrt{2}} = \sqrt{2}^2 = 2X2=22=2となるため X2X^{\sqrt{2}}X2が反例となる。
XXXが有理数か無理数のどちらの場合でも反例が示せたためaba^babが常に無理数になることはない。