theorem Th95: :: GLIB_009:95

for G1 being _Graph
for G2 being removeDParallelEdges of G1
for G3 being removeParallelEdges of G2 holds G3 is removeParallelEdges of G1