Nota primero que se puede volver a escribir la inicial de la ecuación de dos ecuaciones mediante el teorema del Resto Chino. Ahora es necesario examinar $2^{p-q}\equiv -1 \pmod{p}, 2^{p-q} \equiv -1 \pmod{q}$. Ahora usted puede aplicar de Fermat poco y teorema de tomar recíprocos para llegar a las ecuaciones $2^{p-1} \equiv -1 \pmod{q}, 2^{q-1}\equiv -1 \pmod{p}$.
Desde $p-1$ $q-1$ son incluso, estas ecuaciones decir que $-1$ es expresable como incluso el poder de algo en tanto $(\Bbb Z/p\Bbb Z)^\times$$(\Bbb Z/q\Bbb Z)^\times$. Usted debe proceder a la determinación de que los números primos $p,q$ para los que esto es cierto, como un inicio.