Prove that sin^2x + sin^2xcot^2x -= 1 is an identity?