Asuma que A es un subconjunto finito de números primos, y a es un entero positivo. Demuestre que solo hay finitamente muchos enteros positivos m tales que: los divisores primos de $a^m-1$ están contenidos en A.