Division with remainder/Z/Fact/Proof/Exercise

Let ${}d$ be a fixed positive natural number. Show that, for every integer number ${}n$, there exists a uniquely determined integer number ${}q$ and a uniquely determined natural number ${}r$, ${}0\leq r\leq d-1$, such that

${}n=qd+r\,$

holds.

Create a solution