Hopefully this gives some idea of how explanatory proofs of binomial identities can go. It is worth pointing out that more traditional proofs can also be beautiful. 2 For example, consider the following rather slick proof of the last identity.
in-context