theorem Th129: :: GLENUM00:129

for G being _Graph
for H being Subgraph of G holds H .allConnectedSG() c= G .allConnectedSG()