Que $n \geq 1$ ser un entero. ¿Siempre encontramos un % de la energía $p^k$tal que $p^k - 1$ tiene exactamente $n$ distintos primeros divisores?
Por ejemplo:
- $n = 1$ ejemplo: $2^2 - 1 = 3$
- $n = 2$ ejemplo: $5^2 - 1 = 2^2 \cdot 3$
- $n = 3$ ejemplo: $7^3 - 1 = 2 \cdot 3^2 \cdot 19$
- $n = 4$ ejemplo: $5^6 - 1 = 2^3 \cdot 3^2 \cdot 7 \cdot 31$
Siempre podemos encontrar una energía $p^k$ $\geq n$ prime divisores. Sea $p_1, p_2, \ldots, p_n$ números primos distintos, $p_i \neq p$ cada $i$. Entonces $p^k \equiv 1 \mod{p_1p_2 \ldots p_n}$ $k$ positivo, por ejemplo podemos elegir $$k = (p_1 - 1)(p_2 - 1)\ldots(p_n - 1)$ $