Trouble with representing power series as polynomials. I am a math student trying to wrap my head around complex analysis through self-study. I am using Complex Analysis by Serge Lang, but I find myself struggling with some of his power series manipulations and his representations of power series as polynomials. For instance, given the following theorem/proof (taken from Theorem 6.1, p.76):
Theorem 
Let $f(T) = a_1 T + higher$ $terms$ be a formal power series with $a_1 \not= 0$. Then there exists a unique power series $g(T)$ such that $f(g(T)) = T$. This power series also satisfies $g(f(T)) = T$.
Proof:
For convenience of notation we write $f(T)$ in the form
$$f(T) = a_1T - \sum_{2}^{\infty} a_nT^n$$
We seek a power series
$$g(T) = \sum_{1}^{\infty} b_nT^n$$ 
such that 
$$f(g(T)) = T$$
The solution to this problem is given by solving the equation in terms of the coefficients of the power series 
$$a_1g(T) - a_2g(T)^2 - ... = T$$
These equations are of the form
$$a_1b_n - P_n(a_2, ..., a_n, b_1,..., b_{n - 1}) = 0 \quad \text{and} \quad a_1b_1 = 1 \quad \text{for} \quad n = 1$$
where $P_n$ is a polynomial with positive integer coefficients (generalized binomial coefficients)
...
I can follow this all right up until the polynomial representation is used. What I would like to do is follow this type of argument with greater ease. What readings and/or exercises should I do accomplish this?

It's probably clearest if you look at the first few terms explicitly.  
$$\eqalign{f(g(T)) &= a_1 g(T) - a_2 g(T)^2 - a_3 g(T)^3 - a_4 g(T)^4 + \ldots\cr
&= a_1 (b_1 T + b_2 T^2 + b_3 T^3 + b_4 T^4 + \ldots) - a_2 (b_1 T + b_2 T^2 + b_3 T_3 + \ldots)^2 \cr& \ \ \ \ - a_3 (b_1 T + b_2 T^2 + \ldots)^3 - a_4 (b_1 T + \ldots)^4 + \ldots\cr
&= a_1 b_1 T + (a_1 b_2 - a_2 b_1^2) T^2 + (a_1 b_3 - 2 a_2 b_1 b_2 - a_3 b_1^3) T^3\cr& \ \ \ \  + 
(a_1 b_4 - a_2 (b_2^2 + 2 b_1 b_3) - 3 a_3 b_1^2 b_2 - a_4 b_1^4) T^4 + \ldots\cr}$$
Do you see the pattern?  For the coefficient of $T^m$, $a_1 g(T)$ contributes $a_1 b_m $ and $-a_j g(T)^j$ contributes $-a_j$ times a sum of products of $j$ of the $b_k$ with indices adding up to $m$, for $2 \le j \le m$.
