theorem Th43: :: GLPACY00:35

for C being Cycle-like _Graph
for e being Edge of C
for P being removeEdge of C,e holds
( P is _finite & P is Path-like )