theorem Th37: :: GLPACY00:29

for P being _finite non _trivial Path-like _Graph holds card (Endvertices P) = 2