>873
> {1=(z-y)
> {(x^p/1)=(z+y)
> が、成り立つならば、(3)は、成り立ちます。

ところが条件によっては
{1=(z-y)
{(x^p/1)=(z+y)
が、共に成り立たないときでも
(x^p/1)1=(z+y)(z-y)…(3)も、成り立ちます。

例を、あげていただけないでしょうか。