Karena itu, c membagi sisa awal r0, karena r0 = a − q0b = mc − q0nc = (m − q0n)c.