theorem Th12: :: GLUNIR00:12

for G being non-Dmulti _Graph holds G .size() = card (VertexDomRel G)