theorem :: GLIB_009:94

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