Hallo,
de facto machst Du keine begründungspflichtige Reihenumformung. Wenn
$$A=\sum_{k=0}^{\infty}a_k \qquad B=\sum_{j=0}^{\infty}b_j$$
Dann ist (es werden nur Faktoren in eine Reihe hineingezogen):
$$AB=B \sum_{k=0}^{\infty}a_k = \sum_{k=0}^{\infty}Ba_k=\sum_{k=0}^{\infty} \left(a_k \sum_{j=0}^{\infty}b_j\right) =\sum_{k=0}^{\infty} \left( \sum_{j=0}^{\infty}a_kb_j\right)$$
Genaus kann man das Produkt in der anderen Reihenfolge aufschreiben.
Gruß Mathhilf