theorem Th6: :: GLENUM00:6

for G being _Graph
for H being removeEdges of G,(the_Edges_of G) holds H == createGraph ([#] (the_Vertices_of G))