theorem Th96: :: GLIB_006:92

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