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