How do you verify #(tan^2)(sin^2)=tan^2+cos^2 - 1#?