theorem Th6: :: GLPACY00:3

for T being non _trivial Tree-like _Graph
for v being Vertex of T
for F being removeVertex of T,v holds F .numComponents() = v .degree()