4 Sea $p$ un número primo tal que al dividirlo por $4$ se obtiene un resto de $1$. Demuestre que existen infinitos números naturales $n$ tales que la suma $2^n+n^2$ es divisible por $p$.