theorem Th39: :: COMSEQ_1:40

for r being Complex
for seq being Complex_Sequence holds (r (#) seq) " = (r ") (#) (seq ")