theorem :: MSSUBFAM:37
  SF \+\ SG is SubsetFamily of M;
