theorem
  SF (\+\) SG is MSSubsetFamily of M
proof
  SF (\) SG is MSSubsetFamily of M & SG (\) SF is MSSubsetFamily of M by Th36;
  hence thesis by Th34;
end;
