theorem Th193: :: GLENUM00:193

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