Suponga que $a_1,\ldots,a_n$ son números reales no enteros para $n\geq 2$ tal que ${a_1}^k+\ldots+{a_n}^k$ es un entero para todos los enteros $1\leq k\leq n$ . Pruebe que ninguno de $a_1,\ldots,a_n$ es racional.