4.2 Proving Trig. Identities