theorem Th78: :: GLUNIR00:78

for V being non empty set
for E being Relation of V
for v being Vertex of (createGraph (V,E)) holds E | {v} = v .edgesOut()