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