reserve G, G1, G2 for _Graph, H for Subgraph of G;

theorem Th140:
  for H being Tree-like Subgraph of G holds H | _GraphSelectors in G.allTrees()
proof
  let H be Tree-like Subgraph of G;
  H | _GraphSelectors is Tree-like Subgraph of G
    by GLIB_000:92, GLIB_002:48, GLIB_000:128;
  hence thesis by Th138;
end;
