let G1 be reverseEdgeDirections of G; :: thesis: G1 is non-Dmulti
set E = the_Edges_of G;
for e1, e2, v1, v2 being object st e1 Joins v1,v2,G & e2 Joins v1,v2,G & not ( e1 in the_Edges_of G & e2 in the_Edges_of G ) holds
( not e1 in the_Edges_of G & not e2 in the_Edges_of G ) by GLIB_000:def 13;
hence G1 is non-Dmulti by Th25; :: thesis: verum