>>891
いいえ
(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=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}を考えても、ダメです。
だから証明は間違っています。