Caso especial para a = 2, b = 1.
El Bang's Theorem es un resultado importante en la teoría de números elemental, que originalmente demostró A.S. Bang en 1886. Es un caso específico del más general Zsigmondy's Theorem. El teorema trata sobre la existencia de factores primos "nuevos" en la sucesión de números de la forma $2^n - 1$. Específicamente, dice que para cualquier entero $n > 1$, el número $2^n - 1$ tiene un factor primo $p$ que no divide a $2^k - 1$ para ningún entero $k < n$, con la única excepción de $n = 6$.
A un primo $p$ así lo llamamos un divisor primo primitivo de $2^n - 1$. La existencia de divisores primos primitivos es una herramienta poderosa para resolver ecuaciones diofánticas, sobre todo las que tienen términos exponenciales. Por ejemplo, si necesitas demostrar que dos términos de una sucesión no pueden ser iguales o que se cumple una relación de divisibilidad específica, el Bang's Theorem obliga a que exista un primo con un orden modular específico, lo que muchas veces te lleva a una contradicción sobre el tamaño o la forma de los números involucrados.
Intuitivamente, conforme $n$ aumenta, el número $2^n - 1$ crece rápido y acumula más factores primos. El Bang's Theorem formaliza la idea de que este crecimiento es suficiente para "atrapar" al menos un