theorem Th41:
  Sgm {} = {} by FINSEQ_1:51;
