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