theorem Th167: :: GLENUM00:167

for G being connected _Graph
for e being object st e in (the_Edges_of G) \ (G .loops()) holds
ex T being spanning Tree-like plain Subgraph of G st e in the_Edges_of T