Prove that #tanx-(sec^2x)/tanx=-cotx#?