theorem
  W is Path-like iff W.reverse() is Path-like by Lm63;
