Primes

An integer $p > 1$ is prime if its only positive divisors are $1$ and $p$.

Divisibility facts follow from $a \mid b$ meaning $b = a\cdot k$ for some integer $k$.