Pro cunsighèntzia, c dividit su restu initziale r0, ca r0 = a − q0b = mc − q0nc = (m − q0n)c.