for G being _Graph
for H being removeDParallelEdges of G holds VertexDomRel H = VertexDomRel G