>>519
＞ x_2は自然数なので０ではないとします
おお、それはうっかりした

>>511の
＞ （x_2=0のときにaが自然数x_1であるものとして答えたけど、それでいいんだよな？）
を
<x_1+1 1>が自然数x_1であるものとして答えた
に修正