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

theorem Th125:
  for H being connected Subgraph of G
  holds H | _GraphSelectors in G.allConnectedSG()
proof
  let H be connected Subgraph of G;
  H | _GraphSelectors is connected Subgraph of G
    by GLIB_000:92, GLIB_002:8, GLIB_000:128;
  hence thesis by Th124;
end;
