Lema de Elevación del Exponente

Un lema (a menudo abreviado LTE) que proporciona fórmulas para la valoración p-ádica v_p(a^n − b^n) bajo condiciones habituales de divisibilidad sobre enteros a, b, n y un primo p, con casos especiales para p = 2 y cuando p divide a − b o a + b.