theorem :: GLIB_012:71

for G1 being non-multi _Graph
for G2 being LGraphComplement of G1 holds G1 is LGraphComplement of G2