Trig Sum Formula Proof