4 La sucesión $(G_n)$ se define por $G_0 = 0, G_1 = 1$ y $G_n = G_{n-1} + G_{n-2} + 1$ para todo $n \ge2$ . Demuestre que para todo entero positivo $m$ existen dos términos consecutivos de la sucesión que son ambos divisibles por $m$ .