Encuentre todos los pares $(a,b)$ de enteros que satisfacen: existe un entero $d \ge 2$ tal que $a^n + b^n +1$ es divisible por $d$ para todos los enteros positivos $n$.