theorem Th55: :: GLIB_006:51

for G being _Graph
for v being Vertex of G st v is isolated holds
{v} = G .reachableFrom v