let G2 be removeVertex of (the_Vertices_of G),; :: thesis: G2 is Tree-like
G2 is connected by Lm5;
hence G2 is Tree-like ; :: thesis: verum