theorem Th67: :: GLIB_012:67

for G1 being _Graph
for G2 being b₁ -isomorphic _Graph
for G3 being LGraphComplement of G1
for G4 being LGraphComplement of G2 holds G4 is G3 -isomorphic