Sea $X$ un conjunto de $11$ enteros. Pruebe que uno puede encontrar un subconjunto no vacío $\{a_1, a_2, \cdots , a_k \}$ de $X$ tal que $3$ divide a $k$ y $9$ divide a la suma $\sum_{i=1}^{k} 4^i a_i$ .