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