theorem Th10: :: GLUNIR00:10

for G being _Graph holds card (VertexDomRel G) = card (Class (DEdgeAdjEqRel G))