theorem Th55: :: GLIB_012:55

for G1 being _Graph
for G2 being DLGraphComplement of G1 holds G1 .order() = G2 .order() by Def6;