theorem :: GLIB_002:20

for G being _Graph
for v being Vertex of G holds G .reachableDFrom v c= G .reachableFrom v