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