P-adic Valuation of Difference of Powers with Coprime Exponent

Theorem
Let $x, y \in \Z$ be distinct integers.

Let $n \geq1$ be a natural number.

Let $p$ be a prime number.

Let:
 * $p \mathrel \backslash x - y$

and:
 * $p \nmid x y n$.

Then
 * $\nu_p \left({x^n - y^n}\right) = \nu_p \left({x - y}\right)$

where $\nu_p$ denotes $p$-adic valuation.

Also see

 * Lifting The Exponent Lemma