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