theorem Th109: :: GLIB_000:109

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