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