theorem Th93: :: GLIB_009:93

for G1, G2 being _Graph
for G3 being removeParallelEdges of G1 st G2 == G3 holds
G2 is removeParallelEdges of G1