Algebra and Number Theory/Elementary Number Theory

Divisibility

Definition 1: Let $a,b\in \mathbb {Z}$. We say that "$a$ divides $b$" or that "$b$ is a multiple of $a$", if there exists some $q\in \mathbb {Z}$ such that $b=aq$.
We write this as $a\mid b$.

Proposition 1: