theorem Th130: :: GLENUM00:130

for G1, G2 being _Graph st G2 .allConnectedSG() c= G1 .allConnectedSG() holds
G2 is Subgraph of G1