>>133
xが自然数ならば

x + y とは
もし xがゼロなら 答えはy
xがゼロでないなら
答えは 1 + ( (x -1) + y)

これ高校でやるだろ
ま、ｘが自然数という条件程度でしかやらんだろうけど