Teorema de Waring

Sea $f:\mahtbb{N}_0\to\mahtbb{N}_0$ un polinomio y $d=\gcd_{k\in\mahtbb{N}_0} f(k)$. Entonces existen constantes $N$ y $k$ tal que, para todo $n\geq N$, $nd=\sum_{i=1}^k f(a_i)$, para algunas $a_i\in \mahtbb{N}_0 \forall i$.

En particular, si $0$ y $1$ estan en el dominio de $f$, se tiene que $N=0$.