is mentioned by

Thm* For any graph p:V List. 1 < ||p|| path(the_graph;p) path(the_graph;tl(p))

[path-tl]

In prior sections: list 1 mb list 1 mb list 2 mb basic

Try larger context: Graphs