Divides notation

$a\ne 0$ divides $b$ (written $a\mid b$) if there is an $m$ such that $m\times a=b$. e.g. $3|6$