theorem Th34: :: GLUNIR00:34

for G being _Graph holds VertexDomRel G c= VertexAdjSymRel G by XBOOLE_1:7;