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