Proving trig. identities 1