How do you prove that # (sec^2theta)/2 = (2-2cos^2theta)csc^2(2theta) #?