T.IE.2.a.iii: sum and difference identities;