information:highlighting, structural:scholar_edition, quality:correction, stylistic:style_transfer, stylistic:tone
Combinatorial proof

Expanding (x + y) yields the sum of the 2 products of the form e e... e where each e is x or y. Rearranging factors shows that each product equals x y for some k between 0 and n. For a given k, the following are proved equal in succession:

This proves the binomial theorem.