Proving Compound Angle Identities