The residue of at an isolated singularity is the coefficient in the Laurent series expansion of around . Suppose has a pole of order at . Then: Proof directly from Laurent series expansion.