>786
>1=(z-y)を満たす自然数は、z=5、y=4である。

その日本語はオカシイ!

「1=(z-y)を満たす自然数の対の一つに、(z,y)= (5,4) がある」と言うべきだ。

確かに、そうですが、
1=(z-y)を満たす自然数は、z=5、y=4である。でも、
間違いでは、ないと思います。