theorem Th43: :: HILB10_7:43

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