theorem Th21: :: GLIB_012:21

for G1, G2 being _Graph holds
( G1 is addLoops of G2, {} iff G1 == G2 )