How do you verify #secx-cosx=sinx/cotx#?