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