\begin{definition}[Definition:Prime Factor]
Let $n \in \Z$ be an integer.
Then $p$ is a '''prime factor''' of $n$ {{iff}}:
: $(1): \quad p$ is a prime number
: $(2): \quad p$ is a divisor (that is, factor) of $n$.
\end{definition}