You can obtain the desired result using absolute convergence and some observations about the annulus of convergence of Laurent series.
If $\{x_n\}_{n \in \mathbb{Z}}$, then let $R_+(\{x_n\}) = ( \limsup_{n \to \infty} \sqrt[n]{|x_n|} )^{-1}$, and $R_-(\{x_n\}) = \limsup_{n \to \infty} \sqrt[n]{|x_{-n}|}$.
Two relevant results (all summations are over $\mathbb{Z}$):
(i) If $\sum_m \sum_n |a_{m,n}| < \infty$, then the summation can be rearranged. In particular, $\sum_m \sum_n a_{m,n} = \sum_k \sum_l a_{l,k-l}$. (Since $\phi(m,n) = (m,m+n)$ is a bijection of $\mathbb{Z}^2$ to $\mathbb{Z}^2$.)
(ii) If $\sum_{n} |x_n| < \infty$, then $R_+(\{x_n\}) \ge 1$. Similarly, $R_-(\{x_n\}) \le 1$.
Let $f(z) = \sum_n f_n (z-z_0)^n$, $g(z) = \sum_n g_n (z-z_0)^n$. Let $R_+ = \min(R_+(\{f_n\}),R_+(\{g_n\}))$, $R_- = \max(R_-(\{f_n\}),R_-(\{g_n\}))$.
Choose $R_-<r < R_+$. Then $\sum_m |f_m| r^m$ and
$\sum_n |g_n| r^n$ are absolutely convergent sequences, and so $\sum_m \sum_n |f_m||g_n| r^{m+n} < \infty$. From (i) we have $\sum_m \sum_n |f_m||g_n| r^{m+n} = \sum_k (\sum_l |f_l| |g_{k-l}|) r^k < \infty$.
If we let $c_k = \sum_l f_l g_{k-l}$, this gives $\sum_k |c_k| r^k < \infty$, and so
$R_+(\{c_kr^k\}) = \frac{1}{r} R_+(\{c_k \}) \ge 1$, or, in other words, $R_+(\{c_k \}) \ge r$. Since $r<R_+$ was arbitrary, it follows that $R_+(\{c_k \}) \ge R_+$. The same line of argument gives $R_-(\{c_k \}) \le R_-$.
Hence we have $c(z) = f(z)g(z) = \sum_n c_n (z-z_0)^k$ on $R_- < |z-z_0| < R_+$, where $c_k = \sum_l f_l g_{k-l}$.
Well, the taylor series only works when your function is holomorphic, the laurent series works still for isolated singularities.
They both represent the function, but one only converges when $|z|>1$ and the other only converges when $|z|<1$.
When $f$ is holomorphic, the taylor series and the laurent series are the same, and with Cauchy's theorem you can see that. If you want to be as good as possible, you have to calculate those things on your own, that's how you learn the most.
If you want some exercises, come chat, or search google, and if you can't solve them, ask a new question.
Best Answer
A Laurent series is allowed to (but does not have to) contain terms with negative exponents.
If it does contain such terms, then either function it describes has a pole at the point we're developing the series around, and therefore it does not have a Taylor series, or the Laurent series does not converge close to $z_0$.
If it does have a Taylor series around a point, that series is also its Laurent series around that point.