a|b ⟹ b = an
divide := Let a and b be two integers. We say that b divides a if there exists and integer q such that a = qb. If b divides a, we write b|a
:=
math