theorem :: GRAPH_2:45

for n being Nat
for G being Graph
for sc being simple Chain of G holds sc | (Seg n) is simple Chain of G