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