>>957

> z=5,y=3は、{ 1=(z-y)、{ (x^p/1)=(z+y)を満たしません。
> z=5,y=3は、{ a=(z-y)、{ (x^p/a)=(z+y)を満たすので、(2)を満たす自然数が存在します。
> (2)を満たす自然数が存在するので、(3)を満たす自然数も存在します。

この説明に最初の1行はいりませんよね。
> z=5,y=3は、{ a=(z-y)、{ (x^p/a)=(z+y)を満たすので、(2)を満たす自然数が存在します。
> (2)を満たす自然数が存在するので、(3)を満たす自然数も存在します。
これで十分です。
最初の1行は無駄です。