theorem Th101: :: GLIB_012:101

for G1 being _Graph
for G2 being SimpleGraph of G1
for G3 being GraphComplement of G1 holds G3 is GraphComplement of G2