How do you verify #cscx-1=cot^2x/(cscx+1)#?