theorem Th26: :: GLIB_004:26

for G being _finite real-weighted WGraph
for s being Vertex of G holds dom ((DIJK:SSSP (G,s)) `1) = G .reachableDFrom s