theorem :: GLIB_006:52

for G being _Graph
for v being Vertex of G
for C being inducedSubgraph of G,{v} st v is isolated holds
C is Component of G