Summations in Proof of Theorem 11.5

F(s)G(s)=n=1f(n)nsm=1g(m)ms=(f(1)1s+f(2)2s+f(3)3s+f(4)4s+)(g(1)1s+g(2)2s+g(3)3s+g(4)4s+)=f(1)1sg(1)1s+f(1)1sg(2)2s+f(1)1sg(3)3s+f(1)1sg(4)4s+f(2)1sg(1)1s+f(2)1sg(2)2s+f(2)1sg(3)3s+f(2)1sg(4)4s+f(3)1sg(1)1s+f(3)1sg(2)2s+f(3)1sg(3)3s+f(3)1sg(4)4s+f(4)1sg(1)1s+f(4)1sg(2)2s+f(4)1sg(3)3s+f(4)1sg(4)4s+=(f(1)1sg(1)1s)+(f(1)1sg(2)2s+f(2)2sg(1)1s)+(f(1)1sg(3)3s+f(3)3sg(1)1s)+(f(1)1sg(4)4s+f(2)2sg(2)2s+f(4)4sg(1)1s)=k=1(mn=kf(n)nsg(m)ms)=k=1(mn=kf(n)g(m)ks)=k=11ks(mn=kf(n)g(m))=k=11ks(fg)(k)=k=1h(k)ks.