Reduction Formula For Sec^nx Proof