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