>707
>すると
それを満たすx,yは1だけとは限りませんよね。
前に書かれた証明には修正が必要では。

1={x^(p-1)-x^(p-2)y+…+y^(p-1)}
を満たすx,yは1だけです。