theorem Th91: :: GLIB_009:91

for G1, G2 being _Graph
for G3 being removeParallelEdges of G1 st G1 == G2 holds
G3 is removeParallelEdges of G2