Secant Reduction Formula Proof