for G1 being _Graph
for G2 being removeParallelEdges of G1
for G3 being LGraphComplement of G1 holds G3 is LGraphComplement of G2