Solution (source code)

= Solution

For a <meromorphic function> with no <Pole>[poles] on a positively oriented closed <contour>, the <contour integral> equals $2\pi i$ times the sum of enclosed <Residue>[residues], weighted by <winding number> for a general <contour>. At a <simple pole> $a$, the <residue> is $\lim_{z\to a}(z-a)f(z)$. <Analyticity> on the <contour> and the absence of other interior singularities are necessary hypotheses.