Divisibility

If $a,b\in \mathbb{Z}$ with $a\ne 0$ we say $a$ divides $b$ if $\mathrm{\exists }c\in \mathbb{Z}$ such that $b=ac$. In this case we write $a|b$. If $a$ doesn't divide $b$ then we write $a\nmid b$.