>>242
つまりあなたの理屈で、
z=5,y=3のとき
{ 1=(z-y)
{ (x^p/1)=(z+y)
が成り立たないので、(3)が成り立たない。
z=5,y=3のとき(3)が成り立たないので、z=5,y=3のとき(1),(2)も成り立たない。

しかし実際にはz=5,y=3のとき(2)が成り立つ。どこかがおかしい。

のと同様に

x=1、y=2のとき
{ 1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
{ (x^p/1)=(z+y)
が成り立たないので、(3)が成り立たない。
x=1、y=2のとき(3)が成り立たないので、x=1、y=2のとき(1),(2)も成り立たない。

しかし実際にはx=1、y=2のとき(2)が成り立つかもしれないので調べないといけない。
でも>>1では調べていない

全ての自然数に、対しての証明は不可能なので
>>1の証明は間違っています。