Proving Polynomial Identities