>524
>つまり、あなたの証明は
pが奇素数のとき、x^p+y^p=z^pは、
「「「「「「　1={x^(p-1)-x^(p-2)y+…+y^(p-1)}をみたすような　」」」」」」
>自然数解を持たない。

1={x^(p-1)-x^(p-2)y+…+y^(p-1)}をみたす自然数解は、あります。

>2={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たすような自然数解があるかないか

2={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数解は、ありません。

>3={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たすような自然数解があるかないか

3={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たす自然数解は、あります。

>a={x^(p-1)-x^(p-2)y+…+y^(p-1)}を満たすような自然数解があるかないか
を調べていないので、全然だめです。

a={x^(p-1)-x^(p-2)y+…+y^(p-1)}と、(z^p/a)=(x+y)を、共に満たす自然数解が、
あるかないかを調べないと、駄目です。