How do you prove #tan^2xsin^2x=tan^2x + cos^2x-1#?