let G2 be inducedSubgraph of G,X; :: thesis: G2 is Component-like
consider v being Vertex of G such that
A1: X = G .reachableFrom v by Def8;
G2 is inducedSubgraph of G,(G .reachableFrom v) by A1;
hence G2 is Component-like ; :: thesis: verum