Let $a \in \Z, d \in \Z^+$. Then there are unique [[Integer|Integers]] $q, r$ with $0 \leq r < d$ such that $a = qd+r$. If we divide $a$ by $d$, $q$ is the [[Quotient]] and $r$ is the [[Remainder]].