The **division algorithm** states that given any $a \in \mathbb{Z}$ and $d \in \mathbb{N}$ there are unique $q, r \in \mathbb{Z}$ such that $a = dq + r$ with $0 \leq r < d$. Which of the following statements are true thanks to the division algorithm?

Select **ALL** that apply.