"Cozum" sunu soyluyor:
"Eger m ve n aralarinda asal ise ve eger x ve y tamsayilar ise ve eger mx=ny ise, o zaman x=y=0 olmalidir."
Sen sunu soyluyorsun:
"Eger x=y=0 ise, o zaman zaten her sayi icin mx=1 ve ny=1 olacagi icin mx=ny 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 mx=ny'dir."
Ama su cumle yanlis:
"Eger mx=ny 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, 22=41. Burada x=2,y=1. Yani, x=y=0 olmasina gerek yokmus.