theorem :: GLIB_002:18

for G being _Graph
for v being Vertex of G holds v in G .reachableDFrom v