theorem Th10: :: CARD_3:10
product {} = {{}}