(a + b)ⁿ = Σ_{k=0..n} C(n,k) a^(n-k) b^k. Generalises Pascal's triangle and grounds generating-function combinatorics.