
theorem Th59:
  for G1, G2 being _Graph, G3 being removeLoops of G1
  holds G2 == G3 iff G2 is removeLoops of G1 by GLIB_000:101, GLIB_000:93;
