How do you verify cosx=cotx/cscx?