2 Demuestre que para todo número primo $p$ existen infinitos números naturales $n$ que satisfacen: $2^{2^{2^{ \dots ^{2^n}}}} \equiv n^{2^{2^{\dots ^{2}}}} (mod p)$, donde en ambos lados el $2$ aparece $1397$ veces.