How do you prove #1+1/tan^2x = 1/sin^2x#?