theorem Th124: :: GLENUM00:124

for G1, G2 being _Graph holds
( G2 in G1 .allConnectedSG() iff G2 is connected plain Subgraph of G1 )