theorem Th10: :: CARD_3:10

product {} = {{}}