For a function f(z) which is holomorphic within the annulus centred at a in the complex plane, defined by r1 < |z−a| < r2 the Laurent expansion is
where
with the path integral being around C, the positively oriented circle |z−a| = r where r1 < r< r2. Compare Taylor’s theorem; see isolated singularity.