theorem
  sc|(Seg n) is oriented simple Chain of G by Th16,GRAPH_2:45;
