complex variable theory, Laurent series, complex functions, proof, Residue theorem