Definition:Prime Factor

Let $$n \in \Z$$ be an integer.

Then $$p$$ is a prime factor (or prime divisor) of $$n$$ iff:
 * $$p$$ is a prime number;
 * $$p$$ is a divisor (i.e. factor) of $$n$$.