>555
>これを、((z+3)/1)=(x+y)に代入すると、zが自然数のとき、式は成り立たない。

zが、整数のとき、式は成り立ちます。