theorem Th121: :: GLIB_009:121

for G1 being _Graph
for G2 being removeLoops of G1
for G3 being SimpleGraph of G1 holds G3 is removeParallelEdges of G2