theorem Th36: :: GLPACY00:28

for P being _finite non _trivial Path-like _Graph ex v1, v2 being Vertex of P st
( v1 <> v2 & Endvertices P = {v1,v2} )