consider v being Vertex of G;
consider IT being inducedSubgraph of G,(G .reachableFrom v);
take IT ; :: thesis: IT is Component-like
thus IT is Component-like ; :: thesis: verum