for G1 being loopless _Graph
for V being set
for G2 being addLoops of G1,V
for G3 being removeLoops of G2 holds G1 == G3