\bigwedge_{x\in Z}\bigwedge_{m\in Z\backslash\{0\}}\bigvee_{q,r\in Z}(x=qm+r \wedge 0\leq r<|m|)