How do you prove #tan^2(x) / (sec(x) - 1) = (sec(x) + 1)#?