for G being _Graph
for H being removeParallelEdges of G holds VertexAdjSymRel H = VertexAdjSymRel G