theorem Th63: :: GLENUM00:63

for G being _Graph holds createGraph ([#] (the_Vertices_of G)) in G .allSpanningSG()