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