theorem :: CARD_3:106

product" {{}} = {}