#0は自然数