for G1, G2 being _Graph
for G3 being removeLoops of G1 holds
( G2 == G3 iff G2 is removeLoops of G1 ) by GLIB_006:16, GLIB_000:93;