Los números $a, b$ satisfacen la condición $2a + a^2= 2b + b^2$ . Demuestra que si $a$ es un entero, $b$ también es un entero.