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