theorem :: GLENUM00:10

for G being _Graph
for v being Vertex of G holds createGraph v in G .allSG() by Lm2;