theorem Th96: :: GLIB_009:96

for G1 being _Graph
for G2 being removeDParallelEdges of G1 ex G3 being removeParallelEdges of G1 st G3 is removeParallelEdges of G2