How do you verify cot2x1+cscx=1sinxsinx?