theorem Th107: :: GLENUM00:107

for G being non edgeless _Graph
for e being Edge of G
for H being plain addVertices of createGraph e, the_Vertices_of G st not e in G .loops() holds
H in G .allSpanningForests()