theorem :: GLIB_009:92

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