theorem Th57: :: CARD_3:57
sproduct {} = {{}}