
theorem Th24: :: Cyclelike01 ::: should be in GLIB_001
  for G1, G2 being _Graph, W1 being Walk of G1, W2 being Walk of G2
  st W1 = W2 holds W1 is Cycle-like implies W2 is Cycle-like
  by ThA27, GLIB_001:121;
