theorem Th59: :: GLIB_009:59

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