How do you prove (1+cos^2x)/sin^2x=2csc^2x-1?