reserve G for _Graph;

theorem Th41:
  card Class DEdgeAdjEqRel(G) c= card VertexAdjSymRel(G)
proof
  card VertexDomRel(G) c= card VertexAdjSymRel(G) by Th34, CARD_1:11;
  hence thesis by Th10;
end;
