l4 - PROVING TRIG IDENTITIES