theorem Th120: :: GLIB_009:120

for G1 being _Graph
for G3 being DSimpleGraph of G1 ex G2 being removeDParallelEdges of G1 st G3 is removeLoops of G2