theorem Th54: :: GLPACY00:46

for C being non _trivial Cycle-like _Graph
for v being Vertex of C
for P being removeVertex of C,v holds
( P is _finite & P is Path-like )