Laurent Expansion of Isolated Essential Singularity

Theorem
Let $f$ be a complex function with an essential singularity at $z_0 \in \C$.

Let $z_0$ also be an isolated singularity.

Then there exists a Laurent expansion for $f$ with a principal part with infinitely many terms.