theorem Th7: :: GLPACY00:4

for T being _finite non _trivial Tree-like _Graph
for v being Vertex of T
for F being removeVertex of T,v
for C being Component of F ex w being Vertex of T st
( w is endvertex & w in the_Vertices_of C )