Dado cualquier entero $ n \geq 2,$ asuma que los enteros $ a_1, a_2, \ldots, a_n$ no son divisibles por $ n$ y, además, que $ n$ no divide $ \sum^n_{i=1} a_i.$ Demuestre que existen al menos $ n$ secuencias diferentes $ (e_1, e_2, \ldots, e_n)$ que consisten en ceros o unos tal que $ \sum^n_{i=1} e_i \cdot a_i$ es divisible por $ n.$