Given two positive integers a and b, there exists a unique pair of integers q and r such that
a = bq + r, 0 ≤ r < b.
