
theorem Th48:
  for G1, G2 being _Graph, F being PGraphMapping of G1, G2
  st F is isomorphism holds (G1 is Cycle-like iff G2 is Cycle-like)
  by GLIB_010:140, GLIB_016:30;
