theorem Th41: :: GLIB_012:41

for G2 being _Graph
for V being set
for G1 being addLoops of G2,V holds
( G1 is chordal iff G2 is chordal )