How do you prove tan^2(x) / sec(x) = sec(x) - cos(x) ?