for G1, G2 being _Graph
for G3 being removeParallelEdges of G1
for G4 being removeParallelEdges of G2
for G5 being LGraphComplement of G1
for G6 being LGraphComplement of G2 st G4 is G3 -isomorphic holds
G6 is G5 -isomorphic