theorem Th62: :: GLENUM00:62

for G being _Graph holds G | _GraphSelectors in G .allSpanningSG()