Given integers a and b with b>0, there exist unique integers q and r for which a=qb+r and 0≤r<b. See Also congruent modulo Integers Natural Numbers theorem