Use a combinatorial argument to prove the Vandermonde convolution for the binomial coefficients: For all positive integers m₁,m₂, and n, n sum k =0 (m₁ k)(m₂ n-k) = (m₁ + m₂ n)