Art of Proving Binomial Identities