theorem Th32: :: FOMODEL0:32

for x being set
for U being non empty set holds (U -multiCat) . x = (MultPlace (U -concatenation)) . x