theorem Th41: :: FINSEQ_3:43

Sgm {} = {} by FINSEQ_1:51;