Kí ni ẹ̀rí wípé àwọn iye tí kò ní ìmúdàgba méjì wà níbi tí gbígbé ọ̀kan sókè sí agbára èkejì ń mú kí a rí iye tó ní ìmúdàgba?
Eyi ni ẹri nipa awọn ọran pe awọn nọmba aiṣedede meji wa a ati b iru eyi ti a ^ b jẹ iṣedede. Àkọ́kọ́, ronú nípa a = b = sqrt ((2). Rántí wípé sqrt ((2) jẹ́ àìlópin, nítorí náà bí a^b = sqrt ((2) ^ sqrt ((2) bá jẹ́ àìlópin, a ti parí nítorí a ti rí àìlópin a àti b tí a^b jẹ́ àìlópin. Bí bẹ́ẹ̀ kọ́, sqrt(2) ^ sqrt(2) jẹ́ irational. Jẹ́ kí a = sqrt(2) ^ sqrt(2) àti b = sqrt(2). Nígbà náà a ^ b = (sqrt(2) ^ sqrt(2)) ^ sqrt(2) = sqrt(2) ^ (sqrt(2) * sqrt(2)) = sqrt(2) ^ 2 = 2, èyí tí ó jẹ́ rational. Nítorí náà, a lè rí a àti b tí kò bára dé pẹ̀lú a tó níb tó bára dé.