Proof: Trigonometric Sum-Product Identitities