>114
ループ内においてm * a - n　は、常にmより小さくなるので、
最終的にはn % mは必ず0になりループを抜ける。