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