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