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