Cuidado especial cuando p es igual a 2.
El Lema de Elevación del Exponente (LTE) es una herramienta muy poderosa en teoría de números que te sirve para encontrar la valuación (la potencia más alta) de un primo $p$ que divide a una expresión de la forma $x^n - y^n$. Aunque la fórmula estándar de LTE funciona igual para todos los primos impares, el caso donde $p=2$ necesita atención especial. Esto pasa porque el grupo multiplicativo de los enteros módulo $2^k$ tiene una estructura distinta a la de los primos impares (específicamente, no es cíclico para $k \ge 3$), y las factorizaciones algebraicas simples se comportan diferente con respecto al primo 2.
La necesidad de un "LTE para $p=2$" específico aparece seguido en problemas de Olimpiada que tienen ecuaciones diofánticas con potencias de 2 o al analizar la divisibilidad de sucesiones como $a^n - 1$. La fórmula estándar $v_p(x^n - y^n) = v_p(x-y) + v_p(n)$ falla para $p=2$ cuando $n$ es par. Intuitivamente, esto pasa porque la diferencia de cuadrados $x^2 - y^2$ se factoriza como $(x-y)(x+y)$. Si $x$ y $y$ son impares, los dos factores son pares, lo que significa que el término $x+y$ aporta factores de 2 extra