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