theorem Th125: :: GLENUM00:125

for G being _Graph
for H being connected Subgraph of G holds H | _GraphSelectors in G .allConnectedSG()