## The Frobenius endomorphism in ZZ/(p)

Prove that $(a+b)^p \equiv a^p + b^p \mod p$ for all integers $a$ and $b$.

We proved this in greater generality in this previous exercise. (See part 4.)