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