theorem :: GLIB_009:115

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