Tan Reduction Formula Proof