Shrink the positive outer contour to the branch cut[−1,1]. On its upper bank the chosen branch of a multivalued function has x2−1=i1−x2 and on the lower bank it has the negative of this value. The upper bank runs from 1 to −1, and the lower bank runs from −1 to 1. The endpoint circles contribute O(ϵ) and vanish. Hence