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

その日本語はオカシイ！

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