theorem :: CARD_3:106
product" {{}} = {}