AFM.AQR.6.9: Apply a combinatorial argument to prove the binomial theorem.