Proof Of Sum To Product Trig Identities