\begin{definition}[Definition:Prime Number/Definition 6]
Let $p \in \N$ be an integer such that $p \ne 0$ and $p \ne \pm 1$.
Then $p$ is a '''prime number''' {{iff}}
:$\forall a, b \in \Z: p \divides a b \implies p \divides a$ or $p \divides b$
where $\divides$ means '''is a divisor of'''.
\end{definition}