theorem Th16: :: GRAPH_4:16

for n being Nat
for G being Graph
for q being oriented Chain of G holds q | (Seg n) is oriented Chain of G