How do you verify csc2(theta)=csc(theta)/(2cos(theta))?