Intento demostrar, o refutar (aunque creo que es cierto), que para todos los $n \in \mathbb{N}$ existe $a, b, c, d \in \mathbb{N}$ tal que $2n = (a + 1)(a + 2^{b + 1}) - (c + 1)(c + 2^{d + 1})$ .
He intentado la inducción manipulando variables para mostrar $2n + 2$ pero no consigo obtener una expresión para $2n + 2$ .