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