theorem Th5: :: COUSIN:4

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