theorem Th6: :: MSAFREE5:12

for f, g being FinSequence holds f ^^ {g} = {(f ^ g)}