theorem Th35: :: GLPACY00:27

for P being non _trivial Path-like _Graph
for v being Vertex of P st not v is endvertex holds
v .degree() = 2