すなわち、ある自然数が存在して