theorem Th143: :: GLENUM00:143

for G being non edgeless _Graph
for e being Edge of G st not e in G .loops() holds
createGraph e in G .allTrees()