n. the fundamental result in number theory that for any two natural numbers a and b, there are two unique others, q and r, such that a = qb + r and r < b. This also holds in a Euclidean domain by virtue of the existence of a gauge.