theorem Th110: :: GLIB_012:110

for G1 being simple _Graph
for G2 being GraphComplement of G1 holds G1 is GraphComplement of G2