theorem Th17: :: GLPACY00:9

for G being locally-finite _Graph holds
( G is Path-like iff ( G is Tree-like & ( for v being Vertex of G holds v .degree() <= 2 ) ) )