Given integers a and b with b > 0, there exist unique integers q and r for which a = qb + r and 0 ≤ r < b