>xとzが自然数で、x＜zなので、x+r=zならば、rは自然数でしかありえない。

有理数ではなく自然数でなければならないよ。

zを自然数と仮定しなくては、いけないのでしょうか？