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