1 Los enteros positivos $a_0, a_1, a_2, \ldots, a_{3030}$ satisfacen $$2a_{n + 2} = a_{n + 1} + 4a_n \text{ para } n = 0, 1, 2, \ldots, 3028.$$ Demuestra que al menos uno de los números $a_0, a_1, a_2, \ldots, a_{3030}$ es divisible por $2^{2020}$.