9.3 Los enteros positivos $a$ y $b$ satisfacen la igualdad $a+d(a)=b^2+2$ , donde $d(n)$ denota el número de divisores de $n$ . Demuestre que $a+b$ es par.