theorem Th3: :: CFCONT_1:3

for g being Complex
for seq being Complex_Sequence
for Ns being increasing sequence of NAT holds (g (#) seq) * Ns = g (#) (seq * Ns)