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