Para un entero positivo fijo $k$ , demuestre que existen infinitos primos $p$ tales que existe un entero $w$ , donde $w^2-1$ no es divisible por $p$ , y el orden de $w$ en módulo $p$ es el mismo que el orden de $w$ en módulo $p^k$ .