Given any integer n and positive integer d, there exist unique integers q and r such that n=d*q+r and 0 <= r < d.