Proving New Identities