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