theorem Th61: :: GLENUM00:61

for G being _Graph
for H being spanning Subgraph of G holds H | _GraphSelectors in G .allSpanningSG()