自然数では無いはず