theorem Th44: :: FLEXARY1:44

for f, g being FinSequence st f ^ g is complex-functions-valued holds
( f is complex-functions-valued & g is complex-functions-valued )