theorem Th127: :: GLENUM00:127

for G being _Graph
for v being Vertex of G holds createGraph v in G .allConnectedSG() by Th124;