theorem Th108: :: GLIB_012:108

for G1 being _Graph
for V being non empty Subset of (the_Vertices_of G1)
for G2 being inducedSubgraph of G1,V
for G3 being GraphComplement of G1
for G4 being inducedSubgraph of G3,V holds G4 is GraphComplement of G2