theorem Th23: :: GRAPH_4:23

for G being Graph
for sc being oriented simple Chain of G holds sc is OrientedPath of G