HSA.APR.C.4: Prove polynomial identities and use them to describe numerical relationships.