The Art of Proving Binomial Identities