Proving trig. identities 3