theorem Th19: :: GRAPH_4:19

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