Cauchy's residue theorem