How do you verify Csc 2x= cscx/(2cosx)?