theorem Th41: :: FINSEQ_3:43

Sgm {} = {}