T.IE.2.a.v: half-angle identities.