(+)-N.CN.8: Extend polynomial identities to the complex numbers.