theorem Th33: :: TOPS_5:33

for I being set
for f, g being ManySortedSet of I holds (product f) /\ (product g) = product (f (/\) g)