How do you verify #(1 + csc x)(sec x - tan x) = cot x#?