>>900は取り消し

(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
と
(z^p/1)=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=D
は違うものです。

(z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
と
(z^p/a)=A、a=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=D
は違うものです。

(z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
と
(z^p/a)=A、a=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=D
は違うものです。

(z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}
と
(z^p/1)=A、1=B、(x+y)=C、{x^(p-1)-x^(p-2)y+…+y^(p-1)}=D
は違うものです。

違うものを証明してもダメです。
だから証明は間違っています。