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

theorem Th3:
  G | _GraphSelectors in G.allSG()
proof
  G is Subgraph of G by GLIB_000:40;
  hence thesis by Th2;
end;
