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