theorem Th122: :: GLIB_009:122

for G1 being _Graph
for G2 being removeLoops of G1
for G3 being DSimpleGraph of G1 holds G3 is removeDParallelEdges of G2