theorem Th15: :: GRAPH_5:17

for G being Graph
for p being oriented Simple Chain of G holds p is one-to-one