theorem Th46: :: GLUNIR00:46

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