\begin{definition}[Definition:Prime Number/Definition 3]
Let $p$ be a positive integer.
Then $p$ is a prime number {{iff}}:
:$\map \tau p = 2$
where $\map \tau p$ denotes the divisor counting function of $p$.
\end{definition}