How do you verify secxcscx=tanx+cotx?