Proof: Trigonometric Angle Sum & Difference Identities.