>963
>> (z^p/a)a=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(2)
> (z^p/1)1=(x+y){x^(p-1)-x^(p-2)y+…+y^(p-1)}…(3)
> (3)が成り立たないならば、(2)も成り立ちません。

(2),(3)といっているが日高のnotationでの話だよな？
普通の数学のnotationに直したうえで、三行目の理由を説明してくれ。

普通の数学の、等式の性質から、導かれます。