Prove that sin⁻¹(cosec θ) = π/2 + i log cot(θ/2)