Existence of Laurent Series

Theorem
Let $f: \C \to \C$ be a mapping.

Let $z_0 \in U \subset \C$ such that $f$ is analytic in $U \setminus \left\{{z_0}\right\}$.

Then there exisis a Laurent series:


 * $\displaystyle \sum_{j \mathop = -\infty}^\infty a_j \left({z - z_0}\right)^j$

such that the sum converges to $f$ in $U \setminus \left\{{z_0}\right\}$.