theorem Th5: :: COUSIN:6

for x being object holds product <*{x}*> = {<*x*>}