Big Powers

Note equation 2 can be proved by the Remainder Theorem for $a=-b$
[That is $(a+b)$ is a factor of $a^n +b^n$ if $a^n +b^n = 0$ for $a=-b$]