Prove polynomial identities