How do you prove Sec(2x)=sec^2x/(2-sec^2x)?