for G2 being _Graph
for E being set
for v being object
for G1 being reverseEdgeDirections of G2,E holds
( v is Vertex of G1 iff v is Vertex of G2 ) by Th4;