theorem Th5: :: GRAPHSP:5

for G being Graph
for e being set st e in the carrier' of G holds
<*e*> is oriented Simple Chain of G