Freshman's dream (source code)

= Freshman's dream
{wiki}

In a commutative ring of characteristic $p$,
$$
(x+y)^p=x^p+y^p.
$$
Iteration gives $(x+y)^{p^n}=x^{p^n}+y^{p^n}$.