How do you verify #2cot 2x = cot x - tan x#?