theorem Th118: :: GLIB_009:118

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