Sea $p=4k+1$ un primo. $S$ es un conjunto de todos los posibles residuos iguales o menores que $2k$ cuando $\frac{1}{2} \binom{2k}{k} n^k$ se divide entre $p$ . Demuestra que \[ \sum_{x \in S} x^2 =p \]