reserve G for _Graph;

theorem Th34:
  VertexDomRel(G) c= VertexAdjSymRel(G) by XBOOLE_1:7;
