Sea $\omega$ una raíz primitiva $n$-ésima de la unidad. Dados los números complejos $a_1,a_2,\cdots,a_n$ , y $p$ de ellos son distintos de cero. Sea $$b_k=\sum_{i=1}^n a_i \omega^{ki}$$ para $k=1,2,\cdots, n$ . Demuestre que si $p>0$ , entonces al menos $\tfrac{n}{p}$ números en $b_1,b_2,\cdots,b_n$ son distintos de cero.