>>603
代入するだけと違うん？
自然数解って意味がわからんけど。