Para probar que ciertos primos existen.
El Teorema de Zsigmondy es un resultado muy potente en teoría de números que garantiza que existen "divisores primos primitivos" para sucesiones de la forma $a^n - b^n$ y $a^n + b^n$. Dices que un primo $p$ es un divisor primo primitivo de $a^n - b^n$ si $p$ divide a $a^n - b^n$ pero no divide a $a^k - b^k$ para ningún entero positivo $k < n$. En el contexto de aritmética modular, esto equivale a decir que el orden multiplicativo de $a$ módulo $p$ (donde tratas a $b$ como un inverso o trabajas en coordenadas proyectivas) es exactamente $n$.
Este teorema es súper importante para resolver ecuaciones diofánticas exponenciales. Muchos problemas de olimpiada piden soluciones enteras para ecuaciones con términos como $x^n + y^n = z^k$. Sin el Teorema de Zsigmondy, tendrías que usar aritmética modular compleja y argumentos de acotación. Con el teorema, muchas veces puedes llegar a una contradicción demostrando que un lado de la ecuación va acumulando factores primos nuevos conforme $n$ crece, mientras que el otro lado tiene un conjunto limitado de factores primos.
La idea clave que te da el teorema es que la sucesión $a^n - b^n$ no solo recicla los mismos factores primos; casi