theorem :: GRAPH_2:29

for e being set
for G being Graph
for v1, v2 being Element of G st e joins v1,v2 holds
e joins v2,v1 ;