How do you verify #(sec(x) - 1)/(1 - cos(x))=sec(x)#?