theorem Th10: :: GRAPHSP:10

for G being oriented Graph
for v1, v2 being Vertex of G
for e1, e2 being set st e1 in the carrier' of G & e2 in the carrier' of G & e1 orientedly_joins v1,v2 & e2 orientedly_joins v1,v2 holds
e1 = e2