let G2 be inducedSubgraph of ,G; :: thesis: G2 is Component-like
ex v being Vertex of st X = G .reachableFrom v by Def8;
hence G2 is Component-like ; :: thesis: verum