theorem Th110: :: GLIB_000:110

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