Sec Reduction Formula Proof