How do you verify #sin^2(theta)+cot^2(theta)sin^2(theta)=1#?