This is a challenge question that I already know how to solve: Let and consider a smooth (differentiable) map where is the general shape shown in the first plot below (loops around the branch-points,then looping around to close the contour). That is, the contour traverses an analytic path over multiple branches of the integrand. Show via the Residue Theorem: