Proving sum and difference Identities