theorem Th83: :: GLENUM00:83

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