<s>[INST] Prove that if $p|x^p+y^p$ then $p^2|x^p+y^p$ I can show that $5|x^5+y^5$, by considering $(x+y)^5$ and using binomial expansion. But I am not sure how to show that $25|x^5+y^5$.
More generally, if p is a prime and $p>2$, how do I prove that if $p|x^p+y^p$  then $p^2|x^p+y^p$?
 [/INST] Notice for all prime $p$ and integer $n$, $p | n^p - n$.
In particular, $p | x^p - x$ and $p | y^p - y$. This means
$$p|x^p + y^p\quad\implies\quad p|x+y$$
Write $x+y$ as $mp$ for some integer $m$, we have
$$\begin{align}
x^p + y^p 
&= x^p + (mp-x)^p\\
&= x^p + (-x)^p + \binom{p}{1}(mp)(-x)^{p-1} + (mp)^2\left(\sum_{k=2}^p\binom{p}{k}(mp)^{k-2}(-x)^{p-k}\right)
\end{align}$$
When $p$ is a prime $> 2$, $p$ will be odd and the first two terms cancel out. 
The third term is a multiple of $p^2$ because $\binom{p}{1}(mp) = mp^2$. 
For the rest, it is a multiple of $p^2$ because of the overall $(mp)^2$ factor.
</s>