theorem :: GLENUM00:126

for G being _Graph holds
( G is connected iff G | _GraphSelectors in G .allConnectedSG() )