自然数を0ではない自然数で割った余りは、割る数より小さい。