f(z) es analítica en R<|z|<+∞, y |Ref(z)|≤M. La expansión de la serie de Laurent es f(z)=φ(z)+ψ(z), donde φ(z)=∞∑n=0anzn es la parte principal de f(z) en ∞. Muestra que Reφ(z) está acotado, y luego prueba que φ(z) es constante, por lo que ∞ es una singularidad removible de f(z).