Sean $n$ y $q$ dos números naturales, $n\ge 2$, $q\ge 2$ y $q\not\equiv 1 (\text{mod}\ 4)$ y sea $K$ un campo finito que tiene exactamente $q$ elementos. Demostrar que para cualquier elemento $a$ de $K$, existen $x$ e $y$ en $K$ tales que $a = x^{2^n} + y^{2^n}$. (Todo campo finito es conmutativo).