theorem Th57: :: CARD_3:57

sproduct {} = {{}}