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

theorem Th2:
  H | _GraphSelectors in G.allSG()
proof
  H | _GraphSelectors is Subgraph of G by GLIB_000:92, GLIB_000:128;
  hence thesis by Th1;
end;
