theorem Th128: :: GLENUM00:128

for G being non edgeless _Graph
for e being Edge of G holds createGraph e in G .allConnectedSG() by Th124;