Laurant sorfejtés

tétel

Tétel: $f$-nek $z_0$ izolált szingularitása $⟹f(z)={\sum }_{j=-\infty }^{\infty }{c}_j(z-z_0{)}^j$ sorfejtés létezik és egyértelmű.
Továbbá $f\in \mathcal{O}(\dot{B}(z_0,r)),\forall z\in \dot{B}(z_0,r)$.