Demuestre que dados nueve enteros, podemos encontrar cuatro, $a, b, c, d$ tales que $a + b - c - d$ es divisible por $20$. Demuestre que esto no siempre es cierto para ocho enteros.