>584
>> z=5,y=3 で(3)は、成り立ちます。

かつ、z=5,y=3 で(3)は、成り立たない
から矛盾してるわけで。

z=5,y=3 で
1=(z-y)
(x^p/1)=(z+y)
は、成り立ちません。