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