m,n\in Z\,\,\,\Rightarrow\,\,\,(m|n\,\Leftrightarrow\,(\exists k\in Z)mk=n).