设函数f(z)在区域r₀＜|z|＜∞内解析，C表示圆|z|=r(0＜r₀＜r).我们把积分
定义作为函数f(z)在无穷远点的留数，记作Res(f,∞),在这里积分中的C^-表示积分是沿着C按顺时针方向取的。试证明:如果a_-1表示f(z)在r₀＜|z|＜+∞的罗朗展式中1/z的系数，那末Res(f,∞)=-a_-1