theorem Th21: :: GLPACY00:13

for P1 being Path-like _Graph
for v being Vertex of P1
for P2 being removeVertex of P1,v st ( v is endvertex or P1 is _trivial ) holds
P2 is Path-like