>>333
>>325
＞適当に調べたであろう後者関数と自然数の加算の定義が錯綜してる。