How do you verify #secxcscx=tanx+cotx#?