You also don't really have to worry about convergence, since these are formal power series.