>>37の補足
a = 0 のときは mod(a) = 0 と定義する。