Field/Binomi/Fact

Binomial theorem

Let ${}a,b$ be elements of a field and let ${}n$ denote a natural number.

Then

$(a+b)^{n}=\sum _{k=0}^{n}{\binom {n}{k}}a^{k}b^{n-k}$

holds.

Proof, Write another proof