"Cozum" sunu soyluyor:
"Eger $m$ ve $n$ aralarinda asal ise ve eger $x$ ve $y$ tamsayilar ise ve eger $m^x = n^y$ ise, o zaman $x = y = 0$ olmalidir."
Sen sunu soyluyorsun:
"Eger $x = y= 0$ ise, o zaman zaten her sayi icin $m^x = 1$ ve $n^y = 1$ olacagi icin $m^x = n^y$ esitligi saglanir. Niye aralarinda asal olmasina ihtiyacimiz var ki?"
Soyledigin sey dogru tabii ki. Ama soyledigin seyle sordugun sorunun alakasi yok.
$m$ ve $n$ dogal sayilar olmak uzere, su cumle dogru:
"Eger $x = y= 0$ ise, o zaman $m^x = n^y$'dir."
Ama su cumle yanlis:
"Eger $m^x = n^y$ ise, o zaman $x= y= 0$'dir."
Bu cumlenin neden yanlis oldugunu da bir karsi-ornekle Sercan soylemis zaten. $m = 2$ ve $n = 4$ olsun. O zaman, $2^2 = 4^1$. Burada $x = 2, y=1$. Yani, $x = y= 0$ olmasina gerek yokmus.