Let Ω⊂C be a region, and let z1,z2,…,zn be distinct points in Ω. Let f be a holomorphic function on Ω except at the isolated singularities z1,z2,…,zn. If γ is a curve that does not pass through any of the singularities of f and is homotopic to a point in Ω, then
where n(zj,γ) is the winding number of γ around zj, and Res(f,zj) is the residue of f at zj.
Proof Consider the Laurent series of f around zj. ◼