9.3B  Proving Trig Identities