theorem Th41: :: FINSEQ_3:43
Sgm {} = {}