theorem Th27: :: GLIB_008:27

for G being _finite non _trivial Tree-like _Graph
for v being Vertex of G st G .order() = 2 holds
v is endvertex