Prove # (secX-tanX)/(secX+tanX) = 1-2secXtanX+2tan^2X#?