theorem Th73: :: GLUNIR00:73

for V being non empty set
for E being Relation of V
for v being Vertex of (createGraph (V,E)) holds Coim (E,v) = v .inNeighbors()