T.IE.2.a.iv: double-angle identities; and