
theorem Th111:
  for G1 being _Graph, G2 being GraphComplement of G1
  holds G1.order() = G2.order() by Th98;
