\forall x,y\in\mathbb{Z}\,\exists! q,r\in \mathbb{Z} \hbox{ td. } x=qy+r \land 0\leq r<|y|