0は自然数じゃないと思う