>909
> {1=(z-y)
> {(x^p/1)=(z+y)
> が、共に成り立たない

だけでは（3）が成り立つとも成り立たないとも言えないから

書き足した部分> {a=(z-y)
書き足した部分> {(x^p/a)=(z+y)
書き足した部分> が成り立ちます。
書き足した部分> よって、
書き足した部分> (x^p/a)a=(z+y)(z-y)…(2)が、成り立つので、

を調べたうえで

> (x^p/1)1=(z+y)(z-y)…(3)も、成り立ちます。
という結論に至ったんですよね？

書き足した部分はあなたが書いたんですよね？

はい。