Primitive Prime Factor

If $n\geq 1$ is the smallest Integer such that $p\vert a^n-b^n$ (or $a^n+b^n$), then $p$ is a primitive prime factor.