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