0は自然数だぞ