for G being _Graph
for W being Path of G
for e, v being object st e Joins W .last() ,v,G & not v in W .vertices() & ( not W is V5() or W is open ) holds
W .addEdge e is Path-like by Lm68;