The theorem stating that the value of the line integral of a complex function,
taken along a simple closed curve encircling a finite number of isolated
singularities, is given by 2πi times the sum of the residues of
the function at each of the singularities.
See also: → residue; → theorem.