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