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