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