なんで自然数なんて条件が出てくるの