Lifting The Exponent Lemma for Sums

Theorem
Let $x, y \in \Z$ be integers with $x+y\neq0$.

Let $n \geq1$ be an odd natural number.

Let $p$ be an odd prime.

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

and:
 * $p \nmid x y$

where $\backslash$ and $\nmid$ denote divisibility and non-divisibility respectively.

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

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

Proof
This follows from the Lifting The Exponent Lemma with $y$ replaced by $-y$.

Also see

 * Lifting The Exponent Lemma for Sums for p=2