theorem :: GLENUM00:19

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