Beztōż c dzieli zaczōntkowy rest r0, bo r0 = a - q0b = mc - q0nc = (m - q0n)c.