How do you prove #csc^2xtan^2x-1=tan^2x#?