Product of Generating Functions/General Rule

Theorem
Let $\map {G_0} z, \map {G_1} z, \map {G_2} z, \ldots$ be any number of generating functions (up to countably infinite) for the sequences $\sequence {a_0 n}, \sequence {a_1 n}, \sequence {a_2 n}, \ldots$

Then: