Lemme de Levée de L'Exposant

Un lemme (souvent abrégé LTE) qui donne des formules pour la valuation p-adique v_p(a^n − b^n) sous des conditions usuelles de divisibilité sur les entiers a, b, n et un premier p, avec des cas particuliers pour p = 2 et lorsque p divise a − b ou a + b.