>9
(4)の解が自然数解であるのはx:y,x:r,y:rの全てが整数比のときに限る
(4)のr:yが整数比でないから
> よって、(4)のx、(an)^{1/(n-1)}が有理数の場合でも、x,yは整数比とならない。
これは(4)が自然数解を持たないことを示していない

これは、x:rは整数比となり、x:yは整数比とならないことを示しています。