theorem Th3: :: MSSUBFAM:34
  SF \/ SG is SubsetFamily of M;
