for G being non-Dmulti _Graph
for v being Vertex of G holds v .outDegree() = card (v .outNeighbors())