theorem Th170: :: GLIB_010:170

for G1 being _Graph
for G2 being b₁ -Disomorphic _Graph
for G3 being removeDParallelEdges of G1
for G4 being removeDParallelEdges of G2 holds G4 is G3 -Disomorphic