How do you verify cosxcotx+sinx=cscx?