for G being Graph
for sc9 being oriented Simple Chain of G holds sc9 is oriented simple Chain of G